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

2012-04-24 19:14:03 +02:00 · 2012-04-24 19:14:03 +02:00 · d9237055ba
parent 29c8cf0116
commit d9237055ba
1 changed files with 1 additions and 1 deletions
--- 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.
 #