There are also many timeouts and unclean exits. On Wed, Nov 18, 2009 at 11:57 AM, Carl Eastlund <c...@ccs.neu.edu> wrote: > In case this has not been noticed yet, something in revision 16860 > caused DrDr to start taking 3 times as long for each revision (~90 > minutes instead of ~30). It is currently about 10 revisions behind. > > Carl Eastlund > _________________________________________________ > For list-related administrative tasks: > http://list.cs.brown.edu/mailman/listinfo/plt-dev >
-- Jay McCarthy <j...@cs.byu.edu> Assistant Professor / Brigham Young University http://teammccarthy.org/jay "The glory of God is Intelligence" - D&C 93 _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev