fix a small bug

diff --git a/Robust/src/Runtime/multicoretask.c b/Robust/src/Runtime/multicoretask.c
index b84de5c2f30a9a7778c1c5e4fcdfba0f2eebac08..7770bcd0d82a6c8054d4a5431d23713d4a8651b1 100644 (file)
--- a/Robust/src/Runtime/multicoretask.c
+++ b/Robust/src/Runtime/multicoretask.c
@@ -167,7 +167,9 @@ void disruntimedata() {
        freeRuntimeHash(objRedirectLockTbl);
        RUNFREE(locktable.bucket);
 #endif
-       genfreehashtable(activetasks);
+       if(activetasks != NULL) {
+               genfreehashtable(activetasks);
+       }
        if(currtpd != NULL) {
                RUNFREE(currtpd->parameterArray);
                RUNFREE(currtpd);