svghmi/svghmi.js
changeset 3661 62860665fa94
parent 3653 d5ff60e906b0
child 3664 7e8db0b44e42
--- a/svghmi/svghmi.js	Fri Nov 04 10:56:18 2022 +0100
+++ b/svghmi/svghmi.js	Tue Nov 08 11:00:42 2022 +0100
@@ -621,9 +621,6 @@
         }, 3600000);
     }
 
-    // forget subscriptions remotely
-    send_reset();
-
     // forget earlier subscriptions locally
     reset_subscription_periods();