mirror of
git://xwords.git.sourceforge.net/gitroot/xwords/xwords
synced 2025-01-15 15:41:24 +01:00
include timestamp of switch to UDP -- in case it needs to be
correlated with logs
This commit is contained in:
parent
b8660470f7
commit
f84f9aa85f
1 changed files with 1 additions and 0 deletions
|
@ -375,6 +375,7 @@ try_upgrade_upd() {
|
|||
if [ "${CMD/--use-udp/}" = "${CMD}" ]; then
|
||||
if [ $((RANDOM % 100)) -lt $UDP_PCT_INCR ]; then
|
||||
ARGS[$KEY]="$CMD --use-udp"
|
||||
echo -n "$(date): "
|
||||
echo "upgrading key $KEY to use UDP"
|
||||
fi
|
||||
fi
|
||||
|
|
Loading…
Reference in a new issue