Sanford Whiteman Fri, 09 Jul 2010 19:01:51 -0700
Actually, max_exec_time only matters on Win, even worse case elsewhere...