From 44b8321721c9245f88f1252ba23374d0859c783d Mon Sep 17 00:00:00 2001
From: Alex Vandiver <alexmv@zulip.com>
Date: Wed, 12 Jan 2022 21:30:09 +0000
Subject: [PATCH] install-aws-server: Shell hygene.

---
 tools/setup/install-aws-server | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/tools/setup/install-aws-server b/tools/setup/install-aws-server
index 697ecb0274..b65a4ce47c 100755
--- a/tools/setup/install-aws-server
+++ b/tools/setup/install-aws-server
@@ -1,9 +1,10 @@
 #!/usr/bin/env bash
-set -e
+set -eu
+set -o pipefail
 
-SERVER=$1
-ROLES=$2
-BRANCH=$3
+SERVER=${1:-}
+ROLES=${2:-}
+BRANCH=${3:-}
 if [ -z "$SERVER" ] || [ -z "$ROLES" ]; then
     echo "USAGE: $0 server roles [branch]"
     echo