Index: src/scripts/image_to_live.sh |
diff --git a/src/scripts/image_to_live.sh b/src/scripts/image_to_live.sh |
index c75e3684acbcf75c0a755b6157b22631feb102b5..755807507de4f8bb88810965289bd3546baa6dae 100755 |
--- a/src/scripts/image_to_live.sh |
+++ b/src/scripts/image_to_live.sh |
@@ -25,14 +25,16 @@ DEFINE_integer devserver_port 8080 \ |
DEFINE_string update_url "" "Full url of an update image" |
function kill_all_devservers { |
+ echo "Killing dev server." |
# Using ! here to avoid exiting with set -e is insufficient, so use |
# || true instead. |
sudo pkill -f devserver\.py || true |
} |
function cleanup { |
- echo "Killing dev server." |
- kill_all_devservers |
+ if [ -z "${FLAGS_update_url}" ]; then |
+ kill_all_devservers |
+ fi |
cleanup_remote_access |
rm -rf "${TMP}" |
} |