| <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> |
