From 9d9bfb27ef3d540d9ea7a738bc1a23f3f9522be7 Mon Sep 17 00:00:00 2001
From: Luke Faraone <lfaraone@mit.edu>
Date: Thu, 18 Feb 2016 01:48:20 +0000
Subject: [PATCH] Correct shell quoting around $DEFAULT_USER in
 terminate-psql-sessions

Previously, we used shell quoting that would result in the shell variable not
being substituted. Instead, we use `"`s that will allow for variable
substitution.
---
 scripts/setup/terminate-psql-sessions | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/setup/terminate-psql-sessions b/scripts/setup/terminate-psql-sessions
index c10fa60a89..de9ffa5853 100755
--- a/scripts/setup/terminate-psql-sessions
+++ b/scripts/setup/terminate-psql-sessions
@@ -30,7 +30,7 @@ else
 fi
 
 if [ "$EUID" -eq 0 ]; then
-    sudo -u "$DEFAULT_USER" sh -c 'psql postgres "$DEFAULT_USER"' <<EOF
+    sudo -u "$DEFAULT_USER" sh -c "psql postgres '$DEFAULT_USER'" <<EOF
 SELECT pg_terminate_backend($pidname) FROM pg_stat_activity WHERE datname IN ($tables);
 EOF
 else