[MLton-devel] CVS problems

[Henry Cejtin]

Several times when I checked out stuff from the new site it seemed to run fine
but then just hung, never exiting.  In the end I had to kill it off.
My guess would be some kind of early exiting or else the last few packets are
not getting through.


-------------------------------------------------------
In remembrance
www.osdn.com/911/
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel