On 07/31/2013 11:19 PM, Tom Tromey wrote: > Yao> The pattern is updated to ".*sleep \\(.*\\)" to match the output. > > Thanks. This worked for me. Please check it in. Patch is committed. -- Yao (é½å°§)