mirror of
https://github.com/openjdk/jdk.git
synced 2026-03-12 08:53:12 +00:00
8151887: com/sun/jdi/RedefineClearBreakpoint.sh failed with timeout
Take timeout factor into account Reviewed-by: dsamersoff
This commit is contained in:
parent
c33a6aa5ee
commit
c5f2279354
@ -131,6 +131,9 @@ killcmd=kill
|
||||
|
||||
# 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=$$
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user