Advertisement
Guest User

Untitled

a guest
Jun 27th, 2017
56
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
PHP 0.22 KB | None | 0 0
  1. p = script_get_preference("Host Timeout (ms) :");
  2.  if (p =~ '^[0-9]+$')
  3.  {
  4.    argv[i++] = "--host_timeout";
  5.    argv[i++] = p;
  6.    custom_policy ++;
  7. + } else {
  8. +   argv[i++] = "--host_timeout";
  9. +   argv[i++] = 30m;
  10. + }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement