import javax.servlet.*;
import javax.servlet.http.*;
-import org.ibex.util.*;
import org.ibex.util.Collections;
import org.ibex.js.*;
public class Servlet extends HttpServlet {
- private String path;
private Prevayler prevayler;
private JS prevalent;
private ServletContext cx = null;
public void doPost(HttpServletRequest request, HttpServletResponse response) throws IOException { doGet(request, response); }
public void doGet(HttpServletRequest rq, HttpServletResponse rs) throws IOException {
- String path = cx.getRealPath(rq.getServletPath());
+ String src = rq.getServletPath();
Servlet.Scope scope = new Servlet.Scope(cx, rq, rs, prevayler);
- rs.getWriter().write("beginning output...");
- try { Template.wrap(Template.parse(path, scope), scope).out(rs.getWriter()); }
- catch (Exception e) { e.printStackTrace(); System.out.println("e = "+e); }
- rs.getWriter().write("...output ends.");
+ PrintWriter w = new PrintWriter(rs.getWriter());
+ try {
+ while (src != null) {
+ try {
+ StringWriter buffer = new StringWriter();
+ Template t = Template.parse(cx.getRealPath(src), scope);
+ Template.wrap(t, scope).out(buffer);
+
+ rs.setContentType("text/xml");
+ w.write(buffer.toString());
+ src = null;
+ } catch (Template.RedirectSignal r) {
+ src = r.getTarget();
+ }
+ }
+ } catch (Template.Signal s) {
+ // exit silently
+ } catch (JSLeaf.Exn e) {
+ w.print("\n"+src+": ");
+ w.println(e.getMessage());
+ System.out.println(e);
+ } catch (FileNotFoundException e) {
+ w.print("\nfile not found: ");
+ w.println(e.getMessage());
+ System.out.println(e);
+ } catch (IOException e) {
+ w.print("\nio error: ");
+ w.println(e.getMessage());
+ e.printStackTrace();
+ } catch (Exception e) {
+ w.print("Unexpected error occurred.");
+ System.out.println("Unexpected Exception:");
+ e.printStackTrace();
+ }
}
public static class Scope extends Template.Scope {
//#end
return super.get(key);
}
- public void put(Object key, Object val) throws JSExn {
+ public Object put(Object key, Object val) throws JSExn {
//#switch(JS.toString(key))
case "created": throw new JSExn("can not set session.created");
case "accessed": throw new JSExn("can not set session.accessed");
case "invalidate": throw new JSExn("can not set session.invalidate");
//#end
- super.put(key, val);
+ return super.put(key, val);
}
public Object callMethod(Object method, final Object a, final Object b, Object c, Object[] rest, int nargs)
throws JSExn {
private List keys = null;
public Object get(Object key) {
return request.getSession(true).getAttribute(JS.toString(key)); }
- public void put(Object key, Object val) {
+ public Object put(Object key, Object val) {
if (val == null) request.getSession(true).removeAttribute(JS.toString(key));
- else request.setAttribute(JS.toString(key), val); }
+ else request.setAttribute(JS.toString(key), val);
+ return null; }
public Collection keys() {
return keys == null ? keys = Collections.list(request.getSession(true).getAttributeNames()) : keys; }
};
return keys == null ? keys = Collections.list(request.getHeaderNames()) : keys; }
};
private JS responseHeader = new JS() {
- public void put(Object key, Object val) {
- response.setHeader(JS.toString(key), JS.toString(val)); }
+ public Object put(Object key, Object val) {
+ response.setHeader(JS.toString(key), JS.toString(val)); return null; }
};
private class Sub extends JS {
Object key;
Sub(Object key) { this.key = key; }
- public void put(Object key, Object val) throws JSExn {
- Scope.this.put(JS.toString(this.key) + "." + JS.toString(key), val); }
+ public Object put(Object key, Object val) throws JSExn {
+ return Scope.this.put(JS.toString(this.key) + "." + JS.toString(key), val); }
public Object get(Object key) throws JSExn {
return Scope.this.get(JS.toString(this.key) + "." + JS.toString(key)); }
public Object call(Object a0, Object a1, Object a2, Object[] rest, int nargs) throws JSExn {
//#end
return null;
}
- public void put(Object key, Object val) throws JSExn {
+ public Object put(Object key, Object val) throws JSExn {
try {
//#switch(JS.toString(key))
- case "transaction": transaction((JS)val);
case "response.code": response.setStatus(JS.toInt(val));
case "response.redirect": response.sendRedirect(JS.toString(val));
case "response.contentType": response.setContentType(JS.toString(val));
//#end
+ return null;
} catch (IOException e) {
throw new JSExn(e);
}