diff --git a/script/server b/script/server
index 5edce844a..b03370533 100755
--- a/script/server
+++ b/script/server
@@ -13,10 +13,11 @@ do
   fi
 done
 
-services=$( netstat -nl | grep '[^:]:'+ $PORT +'[ \t]')
+services=$( netstat -nl | grep '[^:]:'$PORT'[ \t]')
 test -n "$services" && {
     echo "Warning: something is already using port " + $PORT
     echo "     $services"
+    exit
 }