8151887: com/sun/jdi/RedefineClearBreakpoint.sh failed with timeout
authorsla
Tue, 22 Mar 2016 19:29:25 +0100
changeset 37320 a802ccc88c30
parent 37319 98886757c5aa
child 37321 d069569242e3
8151887: com/sun/jdi/RedefineClearBreakpoint.sh failed with timeout Summary: Take timeout factor into account Reviewed-by: dsamersoff
jdk/test/com/sun/jdi/ShellScaffold.sh
--- a/jdk/test/com/sun/jdi/ShellScaffold.sh	Tue Mar 22 01:13:06 2016 -0700
+++ b/jdk/test/com/sun/jdi/ShellScaffold.sh	Tue Mar 22 19:29:25 2016 +0100
@@ -131,6 +131,9 @@
 
 # This can be increased if timing seems to be an issue.
 sleep_seconds=1
+if [ -n "$TIMEOUT_FACTOR" ] ; then
+  sleep_seconds=$(echo $TIMEOUT_FACTOR $sleep_seconds | awk '{printf "%d\n", int($1 * $2)}')
+fi
 
 echo "ShellScaffold.sh: Version" >& 2
 topPid=$$