3334353637383940414243
if (Web.rs_map.size() != oldCount) { oldCount = Web.rs_map.size(); update(); } Route route = routes.poll(); if (route.execute()) { if (!route.finished()) { routes.addFirst(route); } return true; } else {