Index: src/scripts/image_to_live.sh |
diff --git a/src/scripts/image_to_live.sh b/src/scripts/image_to_live.sh |
index 72f8ddacea2c3824681a652156ae51807bbd2829..7eae34ee89ba6330f0656cd87013e6e2d2a07599 100755 |
--- a/src/scripts/image_to_live.sh |
+++ b/src/scripts/image_to_live.sh |
@@ -20,7 +20,9 @@ DEFINE_boolean update_known_hosts ${FLAGS_FALSE} \ |
"Update your known_hosts with the new remote instance's key" |
function kill_all_devservers { |
- ! pkill -f 'python devserver.py' |
+ # Using ! here to avoid exiting with set -e is insufficient, so use |
+ # || true instead. |
+ pkill -f 'python devserver.py' || true |
} |
function cleanup { |