extensions trigger for resource reload. Apps will reload upon reload

This commit is contained in:
gnembon committed 2020-06-05 23:23:47 -03:00
1 parent a8a22e1403
commit c5841408a6
5 files changed
+48 -4

No files matched your search

@@ -187,6 +187,10 @@ public class CarpetEventServer
{
callList.removeIf((c)-> c.host != null && c.host.equals(hostName));
}
public void clearEverything()
{
callList.clear();
}
}
public enum Event
@@ -736,6 +740,11 @@ public class CarpetEventServer
Event.byName.values().forEach((e) -> e.handler.removeAllCalls(hostName));
}
public void clearAll()
{
Event.byName.values().forEach(e -> e.handler.clearEverything());
}
private Pair<String,String> decodeCallback(String funName)
{
Pattern find = Pattern.compile("(\\w+)\\(from (\\w+)\\)");