619             ws.close();

   619             ws.close();

   620             periodic_reconnect_timer = null;

   620             periodic_reconnect_timer = null;

   621         }, 3600000);

   621         }, 3600000);

   622     }

   622     }

   623 

   623 

   627     // forget earlier subscriptions locally

   624     // forget earlier subscriptions locally

   628     reset_subscription_periods();

   625     reset_subscription_periods();

   629 

   626 

   630     // update PLC about subscriptions and current page

   627     // update PLC about subscriptions and current page

   631     switch_page();

   628     switch_page();