Exemple #1
0
  public void stop() {
    timer_running = false;
    if (refresher_task != null) refresher_task.cancel();
    timer.cancel();
    groups.clear();
    // provide another refresh tools in case the channel gets reconnected
    // timer=new Timer();
    // refresher_task=new Refresher();

  }