Hello,

Is there a way for server plugin to suppress maintenance of ServerPublishInfo? ServerPublishInfo#hasDelta takes 10+ seconds on my workspace (again) and as you probably know this method is called from UI thread for every resource change event. Very irritating.

--
Regards,
Igor Fedorenko

_______________________________________________
wtp-dev mailing list
[email protected]
https://dev.eclipse.org/mailman/listinfo/wtp-dev

Reply via email to