X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=src%2Fmonkeysphere-server;h=4cda00841bf8f33992eee20df9fa2add41986112;hb=34a2fe27de36173ec0f303d28739161069c69021;hp=b609d319fa04f3ca3bb86ac95e96245176116a7b;hpb=75e989ccee39ce99a44898cec16229f74f515efe;p=monkeysphere.git

diff --git a/src/monkeysphere-server b/src/monkeysphere-server
index b609d31..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
 #
@@ -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."