diff --git a/Runner/utils/platform.sh b/Runner/utils/platform.sh
index fcd74595..348fd01a 100755
--- a/Runner/utils/platform.sh
+++ b/Runner/utils/platform.sh
@@ -6,19 +6,14 @@
 # Detect Android userland
 ANDROID_PATH=/system/build.prop
 if [ -f $ANDROID_PATH ]; then
-    ANDROID=1
     # shellcheck disable=SC2209,SC2034
     SHELL_CMD=sh
 else
-    ANDROID=0
     # shellcheck disable=SC2209,SC2034
     SHELL_CMD=bash
 fi
 
-function pidkiller()
+pidkiller()
 {
-  if [ $ANDROID -eq 0 ]; then
-    disown $1
-  fi
-  kill -9 $1 >/dev/null 2>&1
+  kill -9 "$1" >/dev/null 2>&1
 }