mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-07-02 06:35:28 +02:00
[230285] [shells] Remote shells should be restored on quit and re-start of RSE
This commit is contained in:
parent
96541e116e
commit
4f6ac96a13
1 changed files with 14 additions and 16 deletions
|
@ -546,23 +546,21 @@ public abstract class RemoteCmdSubSystem extends SubSystem implements IRemoteCmd
|
|||
}
|
||||
}
|
||||
|
||||
if (gotShell){
|
||||
IPropertySet set = getPropertySet("Remote"); //$NON-NLS-1$
|
||||
if (set == null){
|
||||
set = createPropertySet("Remote"); //$NON-NLS-1$
|
||||
}
|
||||
if (set != null)
|
||||
{
|
||||
IProperty property = set.getProperty(COMMAND_SHELLS_MEMENTO);
|
||||
if (property == null){
|
||||
property = set.addProperty(COMMAND_SHELLS_MEMENTO, shellBuffer.toString());
|
||||
}
|
||||
else {
|
||||
property.setValue(shellBuffer.toString());
|
||||
}
|
||||
}
|
||||
commit();
|
||||
IPropertySet set = getPropertySet("Remote"); //$NON-NLS-1$
|
||||
if (set == null){
|
||||
set = createPropertySet("Remote"); //$NON-NLS-1$
|
||||
}
|
||||
if (set != null)
|
||||
{
|
||||
IProperty property = set.getProperty(COMMAND_SHELLS_MEMENTO);
|
||||
if (property == null){
|
||||
property = set.addProperty(COMMAND_SHELLS_MEMENTO, shellBuffer.toString());
|
||||
}
|
||||
else {
|
||||
property.setValue(shellBuffer.toString());
|
||||
}
|
||||
}
|
||||
commit();
|
||||
}
|
||||
|
||||
protected void internalRemoveShell(Object command) throws InvocationTargetException,
|
||||
|
|
Loading…
Add table
Reference in a new issue