From: jjenista <jjenista>
Date: Thu, 28 Jan 2010 00:32:26 +0000 (+0000)
Subject: alert user if allocating an SESE record fails
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=2d9a77d91f961f737e220ff993511c84a3bfaeaa;p=IRC.git

alert user if allocating an SESE record fails
---

diff --git a/Robust/src/Runtime/mlp_runtime.c b/Robust/src/Runtime/mlp_runtime.c
index b3ab4120..bc4e2bcd 100644
--- a/Robust/src/Runtime/mlp_runtime.c
+++ b/Robust/src/Runtime/mlp_runtime.c
@@ -22,6 +22,10 @@ __thread SESEcommon_p seseCaller;
 
 void* mlpAllocSESErecord( int size ) {
   void* newrec = RUNMALLOC( size );  
+  if( newrec == 0 ) {
+    printf( "mlpAllocSESErecord did not obtain memory!\n" );
+    exit( -1 );
+  }
   return newrec;
 }