# HG changeset patch
# User casties
# Date 1352988334 -3600
# Node ID fc4c23247bb5a5904f5c049fd34978fa74c3117c
# Parent  a52c597075dc7f037a0ef63ae059b98d5293296e
don't crash if admin user missing in config.

diff -r a52c597075dc -r fc4c23247bb5 src/main/java/de/mpiwg/itgroup/annotations/restlet/annotations_ui/AnnotationsUiRestlet.java
--- a/src/main/java/de/mpiwg/itgroup/annotations/restlet/annotations_ui/AnnotationsUiRestlet.java	Tue Nov 06 17:55:36 2012 +0100
+++ b/src/main/java/de/mpiwg/itgroup/annotations/restlet/annotations_ui/AnnotationsUiRestlet.java	Thu Nov 15 15:05:34 2012 +0100
@@ -60,7 +60,11 @@
         // get user name and password
         String user = serverConfig.getProperty(BaseRestlet.ADMIN_USER_KEY);
         String pw = serverConfig.getProperty(BaseRestlet.ADMIN_PASSWORD_KEY);
-        verifier.getLocalSecrets().put(user, pw.toCharArray());
+        if (user != null && pw != null) {
+            verifier.getLocalSecrets().put(user, pw.toCharArray());
+        } else {
+            logger.error("Admin user and password missing in serverconfig!");
+        }
         // Create a Guard
         ChallengeAuthenticator guard = new ChallengeAuthenticator(getContext(), ChallengeScheme.HTTP_BASIC, "Tutorial");
         guard.setVerifier(verifier);