From 3378c44542a105f7e0c8b3e128f1e5f2b30c14d7 Mon Sep 17 00:00:00 2001 From: Shoghi Cervantes Pueyo Date: Tue, 23 Apr 2013 11:59:34 +0200 Subject: [PATCH] Added output redirection to kill() --- src/functions.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/functions.php b/src/functions.php index 551ece684..b5b5b991e 100644 --- a/src/functions.php +++ b/src/functions.php @@ -40,14 +40,14 @@ function kill($pid){ switch(Utils::getOS()){ case "win": ob_start(); - passthru("%WINDIR%\\System32\\taskkill.exe /F /PID ".((int) $pid)); + passthru("%WINDIR%\\System32\\taskkill.exe /F /PID ".((int) $pid)." > NUL"); ob_end_clean(); break; case "mac": case "linux": default: ob_start(); - passthru("kill -9 ".((int) $pid)); + passthru("kill -9 ".((int) $pid)." > /dev/null 2>&1"); ob_end_clean(); } }