Fixed cache bug wrt create/edit repository with existing repo name (issue-172)

James Moger

2012-12-21 6f8ad9b1068e57062a5f79da83c10ee715d412ef

 src/com/gitblit/models/ServerStatus.java

@@ -62,6 +62,7 @@
      this.systemProperties = new TreeMap<String, String>();

      put("file.encoding");

      put("java.home");

      put("java.awt.headless");

      put("java.io.tmpdir");

      put("java.runtime.name");

      put("java.runtime.version");