paste.org.ru Thu Nov  6 00:11:17 2014 : Anonymous : diff : 1290 wide : parent ]
cookies:
name:

scheme:

custom css:


tools:
custom css sample
paste bash script
more coming soon
or not soon...
last:

- Anonymous
- Anonymous
- Anonymous
- G1ngerGuzm4n
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous
- Anonymous

  1. diff --git a/S32-io/IO-Socket-INET.sh b/S32-io/IO-Socket-INET.sh
  2. index 97f64ce..7497848 100644
  3. --- a/S32-io/IO-Socket-INET.sh
  4. +++ b/S32-io/IO-Socket-INET.sh
  5. @@ -14,12 +14,30 @@ rm t/spec/S32-io/server-ready-flag 2>/dev/null
  6. ./perl6 t/spec/S32-io/IO-Socket-INET.pl $TEST $PORT client & CLIENT=$!
  7. # make a watchdog to kill a hanging client (occurs only if a test fails)
  8. -( sleep 20; kill $CLIENT 2>/dev/null && echo '(timeout)' ) &
  9. +#( sleep 20; kill $CLIENT 2>/dev/null && echo '(timeout)' ) &
  10. +
  11. +# watchdog
  12. +# the client should exit after about 3 seconds. The watchdog would kill
  13. +# it after 20 sec. Hang around here until the client ends, either way.
  14. +I=0
  15. +while true; do
  16. + # client finished
  17. + kill -0 $CLIENT 2>/dev/null || break
  18. + I=$(expr $I + 1)
  19. +
  20. + # killing client if we already waiting 20 seconds
  21. + if [ $I -ge 20 ]; then
  22. + echo '(timeout)'
  23. + kill $CLIENT 2>/dev/null
  24. + break
  25. + fi
  26. + sleep 1
  27. +done
  28. # the client should exit after about 3 seconds. The watchdog would kill
  29. # it after 10 sec. Hang around here until the client ends, either way.
  30. # echo BEFORE CLIENT ENDS
  31. -wait $CLIENT 2>/dev/null
  32. +#wait $CLIENT 2>/dev/null
  33. # echo AFTER CLIENT ENDED
  34. # now that the client is finished either way, stop the server
  35. kill $SERVER 2>/dev/null