Beispiel #1
0
 private void cleanStateAndKillMover(stateid4 stateid) {
   Transfer t = _ioMessages.remove(stateid);
   if (t != null) {
     t.killMover(0);
   }
 }