Skip to content

Instantly share code, notes, and snippets.

@bripkens
Created June 11, 2012 12:45
Show Gist options
  • Save bripkens/2909929 to your computer and use it in GitHub Desktop.
Save bripkens/2909929 to your computer and use it in GitHub Desktop.
Vaadin debug and restart bookmarklets.
// restart application
javascript:(function(){var location = window.location.href;window.location = location + (location.indexOf('?') == -1 ? '?' : '&') + 'restartApplication';})();
// debug application
javascript:(function(){var location = window.location.href;window.location = location + (location.indexOf('?') == -1 ? '?' : '&') + 'debug';})();
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment