[Xsb-commits] CVS: XSB/emu debug_xsb.h,1.38,1.39

[Terrance S. <ts...@us...>]

Update of /cvsroot/xsb/XSB/emu
In directory sfp-cvs-1.v30.ch3.sourceforge.com:/tmp/cvs-serv8079

Modified Files:
	debug_xsb.h 
Log Message:

reverting to previous.


Index: debug_xsb.h
===================================================================
RCS file: /cvsroot/xsb/XSB/emu/debug_xsb.h,v
retrieving revision 1.38
retrieving revision 1.39
diff -u -r1.38 -r1.39
--- debug_xsb.h	1 May 2013 17:04:46 -0000	1.38
+++ debug_xsb.h	1 May 2013 17:54:56 -0000	1.39
@@ -79,6 +79,18 @@
 extern  forestLogBuffer forest_log_buffer_3;
 #endif
 
+#define maybe_realloc_buffers(BUFFER,SIZE) {				\
+    if (SIZE > (BUFFER->fl_size)/2) {					\
+      /*      printf("reallocing buffer to %d\n",(BUFFER->fl_size)*2);*/ \
+      BUFFER->fl_buffer							\
+	= (char *)mem_realloc((BUFFER->fl_buffer),(BUFFER->fl_size),	\
+			      2*(BUFFER->fl_size),BUFF_SPACE);		\
+      /*      printf("buffer so far: %s\n\n",BUFFER->fl_buffer);*/	\
+      gdb_dummy();							\
+      BUFFER->fl_size = (BUFFER->fl_size)*2;				\
+    }									\
+  }
+
 #ifndef MULTI_THREAD
 extern void print_delay_list(FILE *, CPtr);
 extern void print_delay_element(FILE *, Cell);