Replace $RANDOM with PID to support non-bash (#218)

bsparrow435 · web-flow · commit a541c79bb65f · 2017-03-28T16:59:23.000-04:00
diff --git a/priv/base/runner b/priv/base/runner
@@ -306,9 +306,9 @@ case "$1" in
         echo "Remote Shell: Use \"Ctrl-G q\" to quit."
         echo "q() or init:stop() will terminate the $SCRIPT node."
         shift
-        RAND=$(($(($RANDOM % 1000)) + 1))
+        RAND=$(($(($$ % 1000)) + 1))
         NODE_NAME=${NAME_ARG#* }
-        exec $ERTS_PATH/erl -name c_$RAND_$NODE_NAME -hidden -remsh $NODE_NAME $COOKIE_ARG $NET_TICKTIME_ARG
+        exec $ERTS_PATH/erl -name c$RAND$NODE_NAME -hidden -remsh $NODE_NAME $COOKIE_ARG $NET_TICKTIME_ARG
         ;;
 
     console)
@@ -363,7 +363,7 @@ case "$1" in
         node_up_check
 
         shift
-        RAND=$(($(($RANDOM % 1000)) + 1))
+        RAND=$(($(($$ % 1000)) + 1))
         NODE_NAME=${NAME_ARG#* }
         $ERTS_PATH/erl -noshell -noinput \
             -pa $RUNNER_PATCH_DIR \
