Fixes #1075

Rather than trying to pick a utility, we should be able to just use bash to check if a port is available or not.

We can probably assume bash is available due to the shebang declaring it.

utils/launch.sh

@@ -70,11 +70,14 @@ while [ "$*" ]; do
 done
 
 # Sanity checks
-which netstat >/dev/null 2>&1 \
+if bash -c "exec 7<>/dev/tcp/localhost/${PORT}" &> /dev/null; then
-    || die "Must have netstat installed"
+    exec 7<&-
-
+    exec 7>&-
-netstat -ltn | grep -qs ":${PORT} .*LISTEN" \
+    die "Port ${PORT} in use. Try --listen PORT"
-    && die "Port ${PORT} in use. Try --listen PORT"
+else
+    exec 7<&-
+    exec 7>&-
+fi
 
 trap "cleanup" TERM QUIT INT EXIT