mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-18 13:45:45 +02:00
Code Issues Wiki Activity

[283157] [dstore] Remote search didn't end when the dstore server crashed

Browse source
This commit is contained in:
David McKnight 2009-09-15 15:14:26 +00:00
parent 1fd8cf60ba
commit 49681b6618
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
rse/plugins/org.eclipse.rse.services.dstore/src/org/eclipse/rse/services/dstore/util/DStoreStatusMonitor.java
View file

@ -19,6 +19,7 @@
* David McKnight (IBM) - [225902] [dstore] use C_NOTIFICATION command to wake up the server * David McKnight (IBM) - [225902] [dstore] use C_NOTIFICATION command to wake up the server
* David McKnight (IBM) - [231126] [dstore] status monitor needs to reset WaitThreshold on nudge * David McKnight (IBM) - [231126] [dstore] status monitor needs to reset WaitThreshold on nudge
* David McKnight (IBM) - [261644] [dstore] remote search improvements * David McKnight (IBM) - [261644] [dstore] remote search improvements
* David McKnight (IBM) - [283157] [dstore] Remote search didn't end when the dstore server crashed
*******************************************************************************/ *******************************************************************************/
package org.eclipse.rse.services.dstore.util; package org.eclipse.rse.services.dstore.util;
@ -277,7 +278,8 @@ public class DStoreStatusMonitor implements IDomainListener
} }
else else
{ {
if ((monitor != null) && (monitor.isCanceled())) if ((monitor != null && monitor.isCanceled()) ||
!status.getDataStore().getStatus().getName().equals("okay")) // datastore not okay?
{ {
setCancelled(status); setCancelled(status);
throw new InterruptedException(); throw new InterruptedException();