--- /dev/null
+package jrw;
+
+import java.util.*;
+
+public class Dispatch {
+ public static Map<Object, Object> handle(Handler handler, Request req) {
+ while(true) {
+ try {
+ return(handler.handle(req));
+ } catch(Restart r) {
+ handler = r;
+ }
+ }
+ }
+}