Re: [platform-dev] Multi-workspace Eclipse application

2018-04-04 Thread Pascal Rapicault
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  
developer, at Red Hat Developers  
community
Elected Committer Representative at the Eclipse Foundation 
 board of directors



___
platform-dev mailing list
platform-dev@eclipse.org
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
platform-dev@eclipse.org
To change your delivery options, retrieve your password, or unsubscribe from 
this list, visit
https://dev.eclipse.org/mailman/listinfo/platform-dev

[platform-dev] +1 for Tom Watson

2007-09-03 Thread portal on behalf of Pascal Rapicault
+1
This is where you enter your comments about the candidate and you explain
why you are voting +1, 0, or -1.

Voting summary: http://portal.eclipse.org/


___
platform-dev mailing list
platform-dev@eclipse.org
https://dev.eclipse.org/mailman/listinfo/platform-dev