Commit | Line | Data |
---|---|---|
3e20c35c FT |
1 | package jrw; |
2 | ||
3 | import java.util.*; | |
4 | ||
d3d92d6c FT |
5 | public class Dispatch { |
6 | public static Map<Object, Object> handle(Handler handler, Request req) { | |
4e6705bd FT |
7 | try(Environment.Frame f = new Environment().frame()) { |
8 | while(true) { | |
9 | try { | |
10 | return(handler.handle(req)); | |
11 | } catch(Restart r) { | |
12 | handler = r; | |
13 | } | |
3e20c35c FT |
14 | } |
15 | } | |
16 | } | |
17 | } |