src/jrw/Environment.java

   1 package jrw;
   2
   3 import java.util.*;
   4
   5 public class Environment {
   6     public static Map<Object, Object> dispatch(Handler handler, Request req) {
   7         while(true) {
   8             try {
   9                 return(handler.handle(req));
  10             } catch(Restart r) {
  11                 handler = r;
  12             }
  13         }
  14     }
  15 }