- //------------------------
- // XXX This part is only for development environments!
- // XXX Remove/comment for production deployment!
- final String _username = Window.Location.getParameter("user");
- token = Window.Location.getParameter("token");
- if (_username != null) {
- DeferredCommand.addCommand(new Command() {
- public void execute() {
- fetchUser(_username);
- }
- });
- return;
- }
- //------------------------