diff options
author | MaZderMind | 2016-12-18 13:34:57 +0100 |
---|---|---|
committer | MaZderMind | 2016-12-18 13:34:57 +0100 |
commit | a12d86ec058bc89e6feeda6ec8cfce691269b0a9 (patch) | |
tree | 6be1f764a8addd025eb774bcd2039788a4b1873f /lib/command-helper.php | |
parent | 521f0e2e1c94538fdce65a021144180f368364d9 (diff) | |
parent | efd0b59f8ed363e12211894d8892e4d18b198c04 (diff) |
Merge branch 'master' into events/33c3
Diffstat (limited to '')
-rw-r--r-- | lib/command-helper.php | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/lib/command-helper.php b/lib/command-helper.php new file mode 100644 index 0000000..c406b9e --- /dev/null +++ b/lib/command-helper.php @@ -0,0 +1,15 @@ +<?php + +function stderr($str) { + $args = func_get_args(); + $args[0] = $args[0]."\n"; + array_unshift($args, STDERR); + call_user_func_array('fprintf', $args); +} + +function stdout($str) { + $args = func_get_args(); + $args[0] = $args[0]."\n"; + array_unshift($args, STDOUT); + call_user_func_array('fprintf', $args); +} |