gracefully handle if a server is already running on the selected port, thanks Marc

2012-05-10 22:30:45 -05:00
parent 6b337dec48
commit 0478a4ee54
2 changed files with 13 additions and 1 deletions
@@ -1 +1 @@
-Version 1.99.7 (2012-05-10 22:29:01) dev
+Version 1.99.7 (2012-05-10 22:30:42) dev