| <!doctype html public "-//w3c//dtd html 4.0 transitional//en"> |
| <html> |
| <head> |
| <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"> |
| <title>Web Tools Platform Build Notes</title> |
| </head> |
| <body> |
| |
| |
| <h1> |
| Web Tools Platform Build Notes</h1> |
| |
| |
| <h2>Patch</h2> |
| <p> |
| See <a href="https://bugs.eclipse.org/bugs/show_bug.cgi?id=163391">bug 163391</a>. ResourceSetWorkbenchEditSynchronizer |
| unloads resources prematurely in headless mode. |
| </p> |
| <p>This patch should be applied with org.eclipse.wst.common_core.feature.patch. |
| </p> |
| |
| </body> |
| </head> |
