comparison test/sematest/TestEditor.java @ 413:1cdbdeedc5b7

TestEditor stops syncText after QUIT.
author one
date Wed, 26 Nov 2008 11:17:29 +0900
parents 795ef563f2a0
children f8916a96a373
comparison
equal deleted inserted replaced
412:2c815dd5f797 413:1cdbdeedc5b7
184 * start termination phase 1 by the master editor. 184 * start termination phase 1 by the master editor.
185 * after this command do not send any user input. 185 * after this command do not send any user input.
186 * clients simply disconnect from the session manager. 186 * clients simply disconnect from the session manager.
187 */ 187 */
188 cmds.clear(); 188 cmds.clear();
189 cmd.eid = -1;
189 quit = cmd; 190 quit = cmd;
190 break; 191 break;
191 case SMCMD_JOIN: 192 case SMCMD_JOIN:
192 case SMCMD_PUT: 193 case SMCMD_PUT:
193 sendCommand(cmd); 194 sendCommand(cmd);
202 } else { 203 } else {
203 if(syncCounter==0) { 204 if(syncCounter==0) {
204 // no more command to send, and we don't have syncCounter 205 // no more command to send, and we don't have syncCounter
205 timeout = 0; 206 timeout = 0;
206 if (quit!=null) { 207 if (quit!=null) {
207 sendCommand(quit); 208 if (quit.eid==-1)
209 sendCommand(quit);
210 else
211 forwardCommand(quit);
208 quit=null; 212 quit=null;
209 } 213 }
210 } 214 }
211 } 215 }
212 } 216 }
269 name += "(eid="+eid+",sid="+sid+")"; 273 name += "(eid="+eid+",sid="+sid+")";
270 inputLock = false; 274 inputLock = false;
271 break; 275 break;
272 case SMCMD_QUIT : 276 case SMCMD_QUIT :
273 if (cmd.eid!=eid) 277 if (cmd.eid!=eid)
274 forwardCommand(cmd); 278 quit = cmd;
275 else 279 else // eid=-1 means do not forward but send it.
276 sendCommand(new REPCommand(REP.SMCMD_QUIT_2, 280 quit = new REPCommand(REP.SMCMD_QUIT_2,
277 sid, eid, seq, 0, "")); 281 sid, -1, seq, 0, "");
282 timeout=1;
278 // stop input processing after this command 283 // stop input processing after this command
279 cmds.clear(); 284 cmds.clear();
280 break; 285 break;
281 case SMCMD_START_MERGE : 286 case SMCMD_START_MERGE :
282 // lock user input during merge (optional) 287 // lock user input during merge (optional)