Index: runtime/observatory/run.sh |
diff --git a/runtime/observatory/run.sh b/runtime/observatory/run.sh |
deleted file mode 100755 |
index 35fecbb43f328b9fe48919374961b4a363f5980c..0000000000000000000000000000000000000000 |
--- a/runtime/observatory/run.sh |
+++ /dev/null |
@@ -1,25 +0,0 @@ |
-#!/bin/sh -e |
- |
-if [ ! -d "web" ]; then |
- echo "Error: you must run this script from the client directory." |
- exit |
-fi |
- |
-PUB_PATH=pub |
-PUB_ARGS="serve --hostname 127.0.0.1 --port 9191" |
-DART_PATH=dart |
-DART_ARGS="bin/server.dart --host 127.0.0.1 --port 9090" |
-DART_ARGS="$DART_ARGS --pub-host 127.0.0.1 --pub-port 9191" |
- |
-# Kill any child processes on exit. |
-trap 'kill $(jobs -pr)' SIGINT SIGTERM EXIT |
- |
-echo "This script assumes that both *pub* and *dart* are in your PATH." |
-echo "Launching Observatory server." |
-echo "Launching pub." |
-echo "" |
-echo "" |
-echo "" |
-$DART_PATH $DART_ARGS & |
-$PUB_PATH $PUB_ARGS |
- |