From 4417e59f104ba933cd5836a049318b14281c58be Mon Sep 17 00:00:00 2001
From: gambas <g4mba5@gmail.com>
Date: Mon, 11 Sep 2017 15:17:52 +0200
Subject: [PATCH] WebTimer.Stop() does not prevent the timer to be restarted
 anymore.

[GB.WEB.FORM]
* BUG: WebTimer.Stop() does not prevent the timer to be restarted anymore.
---
 comp/src/gb.web.form/lib.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/comp/src/gb.web.form/lib.js b/comp/src/gb.web.form/lib.js
index 3e9d3dd59..aa81a7000 100644
--- a/comp/src/gb.web.form/lib.js
+++ b/comp/src/gb.web.form/lib.js
@@ -442,6 +442,7 @@ gw = {
     {
       clearInterval(gw.timers[id]);
       gw.timers[id] = undefined;
+      gw.timers[id + '!'] = undefined;
     }
   },