fix #62 : synchronize allNailStats.get(Class) properly

runtimeverification · Sep 15, 2015 · 0127cb8 · 0127cb8
1 parent 2fea339
commit 0127cb8
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/nailgun-server/src/main/java/com/martiansoftware/nailgun/NGServer.java b/nailgun-server/src/main/java/com/martiansoftware/nailgun/NGServer.java
@@ -277,7 +277,10 @@ void nailStarted(Class nailClass) {
      * @param nailClass the nail class that finished
      */
     void nailFinished(Class nailClass) {
-        NailStats stats = (NailStats) allNailStats.get(nailClass);
+        NailStats stats;
+        synchronized (allNailStats) {
+            stats = (NailStats) allNailStats.get(nailClass);
+        }
         stats.nailFinished();
     }