OLD | NEW |
1 #!/bin/bash | 1 #!/bin/bash |
2 # Copyright 2014 The Chromium Authors. All rights reserved. | 2 # Copyright 2014 The Chromium Authors. All rights reserved. |
3 # Use of this source code is governed by a BSD-style license that can be | 3 # Use of this source code is governed by a BSD-style license that can be |
4 # found in the LICENSE file. | 4 # found in the LICENSE file. |
5 | 5 |
6 # This a simple script to make running Mojo shell easier (on Linux). | 6 # This a simple script to make running Mojo shell easier (on Linux). |
7 | 7 |
8 DIRECTORY="$(dirname "$0")"/../../out/Debug | 8 DIRECTORY="$(dirname "$0")"/../../out/Debug |
9 PORT=$(($RANDOM % 8192 + 2000)) | 9 PORT=$(($RANDOM % 8192 + 2000)) |
10 | 10 |
11 do_help() { | 11 do_help() { |
12 cat << EOF | 12 cat << EOF |
13 Usage: $(basename "$0") [-d DIRECTORY] [-|--] <mojo_shell arguments ...> | 13 Usage: $(basename "$0") [-d DIRECTORY] [-|--] <mojo_shell arguments ...> |
14 | 14 |
15 DIRECTORY defaults to $DIRECTORY. | 15 DIRECTORY defaults to $DIRECTORY. |
16 | 16 |
17 Example: | 17 Example: |
18 $(basename "$0") mojo:mojo_sample_app | 18 $(basename "$0") mojo:sample_app |
19 EOF | 19 EOF |
20 } | 20 } |
21 | 21 |
22 kill_http_server() { | 22 kill_http_server() { |
23 echo "Killing SimpleHTTPServer ..." | 23 echo "Killing SimpleHTTPServer ..." |
24 kill $HTTP_SERVER_PID | 24 kill $HTTP_SERVER_PID |
25 wait $HTTP_SERVER_PID | 25 wait $HTTP_SERVER_PID |
26 } | 26 } |
27 | 27 |
28 while [ $# -gt 0 ]; do | 28 while [ $# -gt 0 ]; do |
(...skipping 33 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
62 cd $DIRECTORY/lib || exit 1 | 62 cd $DIRECTORY/lib || exit 1 |
63 python -m SimpleHTTPServer $PORT & | 63 python -m SimpleHTTPServer $PORT & |
64 # Kill the HTTP server on exit (even if the user kills everything using ^C). | 64 # Kill the HTTP server on exit (even if the user kills everything using ^C). |
65 HTTP_SERVER_PID=$! | 65 HTTP_SERVER_PID=$! |
66 trap kill_http_server EXIT | 66 trap kill_http_server EXIT |
67 cd .. | 67 cd .. |
68 | 68 |
69 echo "Running:" | 69 echo "Running:" |
70 echo "./mojo_shell --origin=http://127.0.0.1:$PORT --disable-cache $*" | 70 echo "./mojo_shell --origin=http://127.0.0.1:$PORT --disable-cache $*" |
71 ./mojo_shell --origin=http://127.0.0.1:$PORT --disable-cache $* | 71 ./mojo_shell --origin=http://127.0.0.1:$PORT --disable-cache $* |
OLD | NEW |