| <html> | |
| <head> | |
| <title>GWT Development Mode Failure</title> | |
| <style> | |
| * { | |
| font-family: sans-serif; | |
| } | |
| h1 { | |
| background: blue; | |
| color: white; | |
| padding: 0.25em | |
| } | |
| #r { | |
| width:100%; | |
| white-space: pre-wrap; | |
| font-family: monospace; | |
| } | |
| </style> | |
| </head> | |
| <body> | |
| <h1>GWT Development Mode Failure</h1> | |
| <p>The development mode plugin encountered a fatal error—did you stop your code server?</p> | |
| <p>You can try to restart your web application by <a href='javascript:window.location.reload()'>reloading this page</a>.</p> | |
| <hr/> | |
| <div id="r" wrap="off"> | |
| __MESSAGE__ | |
| System version: __SYSTEM_VERSION__ | |
| __USER_AGENT__ | |
| Compilation time: __DATE__ __TIME__ | |
| </textarea> | |
| </body> | |
| </html> |