Explicitly use bash for install_server.sh. Fixes issue #397

diff --git a/utils/install_server.sh b/utils/install_server.sh
index 93b5b411b803da80c4f91a94b4e28cb981e2ab05..70f0adfe36ded17c6be54a01284f45fe73ed47cf 100755 (executable)
--- a/utils/install_server.sh
+++ b/utils/install_server.sh
@@ -1,4 +1,4 @@
-#! /bin/sh
+#!/bin/bash
 
 # Copyright 2011 Dvir Volk <dvirsk at gmail dot com>. All rights reserved.
 #