* On GET, check and require authentication. If authenticated, write editor page.
*/
public void doGet(HttpServletRequest req, HttpServletResponse resp)
throws IOException {
try {
AuthenticationManager authManager = new AuthenticationManager(
new AuthenticationTokenStore(), AuthenticationKey.getAuthSubKey());
authManager.autoPilot(req, resp, false);
} catch(Exception x) {
log.log(Level.SEVERE, "Auto-pilot authentication error: " + x.getMessage(), x);
}
resp.setContentType("text/html");
char[] buffer = new char[1028];