# HG changeset patch
# User Wuzzy <Wuzzy2@mail.ru>
# Date 1538225533 -7200
# Node ID 0beff00d223a24109e1f669211b2d2945f58ce13
# Parent  e3fee73c51a0f4f16a058c4042dd2dc9fa833e29
Set script globals TurnTimeLeft and ReadyTimeLeft immediately after they were changed by Lua call

diff -r e3fee73c51a0 -r 0beff00d223a hedgewars/uScript.pas
--- a/hedgewars/uScript.pas	Sat Sep 29 01:17:15 2018 +0200
+++ b/hedgewars/uScript.pas	Sat Sep 29 14:52:13 2018 +0200
@@ -3752,11 +3752,13 @@
 if isPendingTurnTimeLeft then
     begin
     TurnTimeLeft:= PendingTurnTimeLeft;
+    ScriptSetInteger('TurnTimeLeft', TurnTimeLeft);
     isPendingTurnTimeLeft:= false;
     end;
 if isPendingReadyTimeLeft then
     begin
     ReadyTimeLeft:= PendingReadyTimeLeft;
+    ScriptSetInteger('ReadyTimeLeft', ReadyTimeLeft);
     isPendingReadyTimeLeft:= false;
     end;
 end;