Re: [webkit-dev] Time out issue (>30s) of WebKit layout test [Mac OS]

2012-07-01 Thread Horky Chen
Thanks to you all.  

Sure, it's a very special case! I'll try with your comment.

Best Regards!
Horky

On Jun 30, 2012, at 12:19 AM, Dirk Pranke wrote:

> On Fri, Jun 29, 2012 at 9:00 AM, Balazs Kelemen  wrote:
>> I think this is just the default, WebKitTestRunner has a --timeout that
>> should control this if given. If that's not the case than it seems like a
>> bug for me. On the other hand, I don't think run-webkit-tests supports
>> setting custom timeout for a particular test.
>> 
> 
> Correct, neither old-run-webkit-tests nor new-run-webkit-tests
> supports per-test custom timeouts. new-run-webkit-tests does support
> the concept of "slow" tests (i.e., two timeouts), but we generally use
> this to reduce the default value (i.e., chromium runs with 6 and 12
> seconds).
> 
> As Brady said, the test needs to be redesigned or broken up if it
> takes that long to run.
> 
> -- Dirk
> ___
> webkit-dev mailing list
> webkit-dev@lists.webkit.org
> http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev
> 

___
webkit-dev mailing list
webkit-dev@lists.webkit.org
http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev


Re: [webkit-dev] is DNS for webkit.org down?

2012-07-01 Thread Dirk Pranke
Seems fine now. Leap second?

-- Dirk

On Sun, Jul 1, 2012 at 7:34 AM, William Siegrist  wrote:
> There was a network issue that has since been resolved. If you're still 
> having trouble, please let me know.
>
> -Bill
>
>
>
> On Jun 30, 2012, at 8:17 PM, Dirk Pranke wrote:
>
>> Hi all,
>>
>> It seems like DNS for webkit.org is down ... I can still get to
>> build.webkit.org, but everything else is timing out?
>>
>> -- Dirk
>> ___
>> webkit-dev mailing list
>> webkit-dev@lists.webkit.org
>> http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev
>
___
webkit-dev mailing list
webkit-dev@lists.webkit.org
http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev


Re: [webkit-dev] is DNS for webkit.org down?

2012-07-01 Thread William Siegrist
There was a network issue that has since been resolved. If you're still having 
trouble, please let me know. 

-Bill



On Jun 30, 2012, at 8:17 PM, Dirk Pranke wrote:

> Hi all,
> 
> It seems like DNS for webkit.org is down ... I can still get to
> build.webkit.org, but everything else is timing out?
> 
> -- Dirk
> ___
> webkit-dev mailing list
> webkit-dev@lists.webkit.org
> http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev

___
webkit-dev mailing list
webkit-dev@lists.webkit.org
http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev


[webkit-dev] is DNS for webkit.org down?

2012-07-01 Thread Dirk Pranke
Hi all,

It seems like DNS for webkit.org is down ... I can still get to
build.webkit.org, but everything else is timing out?

-- Dirk
___
webkit-dev mailing list
webkit-dev@lists.webkit.org
http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev