| 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 {
|
|
|