Hi Mickael, Multi-workspace idea was already considered a few years ago and there is a branch which contains the work that happened so far: http://git.eclipse.org/c/platform/eclipse.platform.resources.git/log/?h=v20100504_MultiWorkspace. It was created when Eclipse was still on CVS and it is now about 8 years behind the current master branch, but it should give you a general overview in what direction the solution was heading.
Best regards, Szymon 2018-04-04 19:06 GMT+02:00 Pascal Rapicault <[email protected]>: > IIRC I think something along that line has been done in the context of the > Orion server a long time ago. IIRC John A. worked on this so maybe someone > from the IBM team can confirm this. > > HTH > > Pascal > > On 4/4/2018 11:51 AM, Mickael Istria wrote: > > Hi all, > > In the general idea of improving Eclipse Platform (use case here would be > JDT-LS) for the cloud, I'm wondering whether some of you already > considered, tried or evaluated making Eclipse Platform multi-tenant in term > of workspace, basically having the same instance able to work > simultaneously with different workspaces, 1 per user/task/whatever ? > > Technically -for the public usage-, it would mostly be about avoiding > references to ResourcePlugin.getWorkspace() in favor of resolving workspace > according to the context (using for instance file.getProject().getWorkspace() > instead of ResourcePlugin.getWorkspace()) and to introduce a new > ResourcePlugin.getWorkpace(key) method. > > But I imagine it's not so simple and there are more things to consider. > Hence if someone already have some feedback on this work, it'd be greatly > appreciated! > > Cheers, > -- > Mickael Istria > Eclipse IDE <https://www.eclipse.org/downloads/eclipse-packages/> > developer, at Red Hat Developers <https://developers.redhat.com/> > community > Elected Committer Representative at the Eclipse Foundation > <https://www.eclipse.org/org/> board of directors > > > _______________________________________________ > platform-dev mailing [email protected] > To change your delivery options, retrieve your password, or unsubscribe from > this list, visithttps://dev.eclipse.org/mailman/listinfo/platform-dev > > > > _______________________________________________ > platform-dev mailing list > [email protected] > To change your delivery options, retrieve your password, or unsubscribe > from this list, visit > https://dev.eclipse.org/mailman/listinfo/platform-dev >
_______________________________________________ platform-dev mailing list [email protected] To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://dev.eclipse.org/mailman/listinfo/platform-dev
