diff options
| author | Konrad Kolosowski | 2002-02-01 15:38:48 +0000 |
|---|---|---|
| committer | Konrad Kolosowski | 2002-02-01 15:38:48 +0000 |
| commit | 74cb873aa30892a4f3221ea66441f5c92726a142 (patch) | |
| tree | f465868d2ffb519d114e37c8b83d0c98eae50383 /org.eclipse.help/plugin.xml | |
| parent | 2ff5ab17b758fdf77bcb90a440eaca26b597be6a (diff) | |
| download | eclipse.platform.ua-74cb873aa30892a4f3221ea66441f5c92726a142.tar.gz eclipse.platform.ua-74cb873aa30892a4f3221ea66441f5c92726a142.tar.xz eclipse.platform.ua-74cb873aa30892a4f3221ea66441f5c92726a142.zip | |
adding servletFacade runnable application
Diffstat (limited to 'org.eclipse.help/plugin.xml')
| -rw-r--r-- | org.eclipse.help/plugin.xml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/org.eclipse.help/plugin.xml b/org.eclipse.help/plugin.xml index 76941e238..bfa1cf8e7 100644 --- a/org.eclipse.help/plugin.xml +++ b/org.eclipse.help/plugin.xml @@ -93,6 +93,15 @@ <handler protocol="livehelp" class="org.eclipse.help.internal.protocols.LiveHelpURLHandler"/>
</extension>
+ <!-- For remote install, run this application -->
+ <!-- ======================================== -->
+ <extension id="servletFacade" point="org.eclipse.core.runtime.applications">
+ <application>
+ <run class="org.eclipse.help.internal.ServletFacade">
+ </run>
+ </application>
+ </extension>
+
<!-- ================================================================ -->
<!-- Declares an extension point for pre-built indexes -->
<!-- ================================================================ -->
|