Added config to the general ServerContext interface.

diff --git a/src/dolda/jsvc/ServerContext.java b/src/dolda/jsvc/ServerContext.java
index a47a714ec895230c0300ea5463c7987002d54b1b..9fd785abf09bcc95c06517a6018f75211437237d 100644 (file)
--- a/src/dolda/jsvc/ServerContext.java
+++ b/src/dolda/jsvc/ServerContext.java
@@ -2,4 +2,5 @@ package dolda.jsvc;
 
 public interface ServerContext {
     public long starttime();
+    public java.util.Properties config();
 }