Esempio n. 1
0
 public void unwatch(int hs) {
   logger.info("Stopping watching handle = " + hs);
   for (Observer o : observers) o.unwatch(hs);
   //		Handle handle = handles.remove(hs);
   //		if (handle == null)
   //			sendError("There is no handle " + hs);
   //		else {
   //			rhandles.remove(handle);
   //			handle.proc.disinterested(this, handle);
   //		}
 }