Merge pull request ggp-org#21 from SteveDraper/LocalRepositoryResourc…

…eFreeing Adding cleanup method to allow LocalGameRepository to free resources cle...
Whisprin · Oct 26, 2013 · f0e2868 · f0e2868
2 parents d336f13 + c20eca0
commit f0e2868
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/src/org/ggp/base/util/game/LocalGameRepository.java b/src/org/ggp/base/util/game/LocalGameRepository.java
@@ -47,8 +47,16 @@ public LocalGameRepository() {
                 throw new RuntimeException(e);
             }
         }
+
         theRealRepo = new RemoteGameRepository(theLocalRepoURL);
     }
+
+    public void cleanUp()
+    {
+        if (theLocalRepoServer != null) {
+        	theLocalRepoServer.stop(0);
+        }
+    }
 
     @Override
     protected Game getUncachedGame(String theKey) {