Merge branch 'dev' into notify

2018-12-10 12:58:19 +01:00 · 2018-12-10 12:58:19 +01:00 · 605b62ca0e
parent f4e143eb7d c0442f898d
commit 605b62ca0e
1 changed files with 1 additions and 1 deletions
--- a/server/src/assembly/server-linux.sh
+++ b/server/src/assembly/server-linux.sh
@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 pushd $(dirname $0)
 JAVA=java