From: jzhou <jzhou>
Date: Mon, 7 Dec 2009 18:44:50 +0000 (+0000)
Subject: fix a small bug
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ab98f1ec9f6599cc2db2d9cb8823862feb7ba62a;p=IRC.git

fix a small bug
---

diff --git a/Robust/src/Runtime/multicoretask.c b/Robust/src/Runtime/multicoretask.c
index b84de5c2..7770bcd0 100644
--- 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);