--- trunk/selenium/selenium.sh	2008/10/03 02:30:46	234
+++ trunk/selenium/selenium.sh	2008/10/06 06:35:53	262
@@ -9,6 +9,10 @@
   kill $selenium_server_pid
 }
 
+server_is_running() {
+  netstat -a -n | grep -q '\(::\|0\.0\.0\.0\):4444'
+}
+
 java -cp build Server ../doc/instrumented > server.out 2> server.err &
 server_pid=$!
 
@@ -16,15 +20,25 @@
 selenium_server_pid=$!
 
 # wait for the HTTP server to start
-while ! netstat -a -n --inet --inet6 | grep -q :::8000
+while ! server_is_running
 do
   sleep 0.1
 done
 
 # wait for the selenium server to start
-while ! netstat -a -n --inet --inet6 | grep -q :::4444
+while ! server_is_running
 do
   sleep 0.1
 done
 
-java -cp junit.jar:selenium-java-client-driver.jar:build junit.textui.TestRunner JSCoverageTest
+uname=`uname`
+case "$uname" in
+  CYGWIN* | MINGW*)
+    separator=';'
+    ;;
+  *)
+    separator=':'
+    ;;
+esac
+
+java -cp "junit.jar${separator}selenium-java-client-driver.jar${separator}build" junit.textui.TestRunner JSCoverageTest