X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;ds=sidebyside;f=src%2Fmonkeysphere-server;h=4cda00841bf8f33992eee20df9fa2add41986112;hb=d3e96a9a428d868eb095674af35bc82b5f098c7d;hp=f1472019d6097a4c7d0eb1a5f68568660d29c451;hpb=5eaa6e2d578e98783d09a699c036968b9b7aa86d;p=monkeysphere.git

diff --git a/src/monkeysphere-server b/src/monkeysphere-server
index f147201..4cda008 100755
--- a/src/monkeysphere-server
+++ b/src/monkeysphere-server
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # monkeysphere-server: MonkeySphere server admin tool
 #
@@ -20,7 +20,7 @@ export SHARE
 VARLIB="/var/lib/monkeysphere"
 export VARLIB
 
-# date in UTF format if needed
+# UTC date in ISO 8601 format if needed
 DATE=$(date -u '+%FT%T')
 
 # unset some environment variables that could screw things up
@@ -572,6 +572,10 @@ diagnostics() {
 	echo "! No monkeysphere user found!  Please create a monkeysphere system user."
     fi
 
+    if ! [ -d "$VARLIB" ] ; then
+	echo "! no $VARLIB directory found.  Please create it."
+    fi
+
     echo "Checking host GPG key..."
     if (( "$keysfound" < 1 )); then
 	echo "! No host key found."