File servlet: redirect to correct url when session is null