X-Git-Url: http://git.megacz.com/?p=org.ibex.xt-crawshaw.git;a=blobdiff_plain;f=src%2Fjava%2Forg%2Fibex%2Fxt%2Fshell%2FServlet.java;fp=src%2Fjava%2Forg%2Fibex%2Fxt%2Fshell%2FServlet.java;h=70b89d9e82cd9b9e6d4aed0d192b73026edd1254;hp=44cc346562b8c558df1df2c804478684423e8c16;hb=e2e46233d9db6fe8728421016a41d5bf79db86e5;hpb=a86e3334b03e5acf25fe9223d9d7634573a6c396

diff --git a/src/java/org/ibex/xt/shell/Servlet.java b/src/java/org/ibex/xt/shell/Servlet.java
index 44cc346..70b89d9 100644
--- a/src/java/org/ibex/xt/shell/Servlet.java
+++ b/src/java/org/ibex/xt/shell/Servlet.java
@@ -22,33 +22,9 @@ public class Servlet extends HttpServlet {
     }
 
     public void doPost(HttpServletRequest rq, HttpServletResponse rs) throws IOException {
-        Request r;
-        try { r = (Request)new ObjectInputStream(rq.getInputStream()).readObject(); }
-        catch (ClassNotFoundException e) {
-            e.printStackTrace();
-            throw new IOException("exception receiving request, class not found");
-        }
-
-        JSScope scope = (JSScope)rq.getSession().getAttribute("scope");
-        if (scope == null) {
-            try {
-                scope = new JSScope(null) {
-                    { super.put("prevalent", prevalent); }
-
-                    public void put(String k, String v) throws JSExn {
-                        if (k != null && k.equals("prevalent")) throw new JSExn(
-                            "can not replace key prevalent");
-                        super.put(k, v);
-                    }
-                };
-            } catch (JSExn e) {
-                e.printStackTrace();
-                throw new IOException("unexpected JSExn");
-            }
-            rq.getSession().setAttribute("scope", scope);
-        }
-        Request.Response ret;
-        try { ret = r.process(scope); } catch (JSExn e) { ret = new Request.Response(e); }
-        new ObjectOutputStream(rs.getOutputStream()).writeObject(ret);
+        ObjectInputStream in = new ObjectInputStream(rq.getInputStream());
+        ObjectOutputStream out = new ObjectOutputStream(rs.getOutputStream());
+        JSRemote.receive(prevalent, in, out);
+        out.flush();
     }
 }