[Javabdd-checkins] JavaBDD/org/sf/javabdd FindBestOrder.java,1.9,1.10

[John W. <joe...@us...>]

Update of /cvsroot/javabdd/JavaBDD/org/sf/javabdd
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv7240/org/sf/javabdd

Modified Files:
	FindBestOrder.java 
Log Message:


Index: FindBestOrder.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/FindBestOrder.java,v
retrieving revision 1.9
retrieving revision 1.10
diff -C2 -d -r1.9 -r1.10
*** FindBestOrder.java	29 Jul 2004 03:43:21 -0000	1.9
--- FindBestOrder.java	27 Aug 2004 01:01:39 -0000	1.10
***************
*** 115,119 ****
--- 115,122 ----
          }
          t.stop();
+         Thread.yield(); // Help ThreadDeath exception to propagate.
          if (t.totalTime == Long.MAX_VALUE) {
+             System.out.println("Thread taking too long, aborted.");
+             System.out.print("Free memory: "+Runtime.getRuntime().freeMemory());
              b1 = null;
              b2 = null;
***************
*** 122,125 ****
--- 125,129 ----
              newbdd = true;
              System.gc();
+             System.out.println(" bytes -> "+Runtime.getRuntime().freeMemory()+" bytes");
          }
          if (t.time < bestCalcTime) {