comparison Todo @ 491:5945266c970d

before unMergedCmds fix , deadlockTimer API
author one
date Sat, 23 Oct 2010 12:34:46 +0900
parents 455df381449a
children bd76f7e39247
comparison
equal deleted inserted replaced
490:168909388479 491:5945266c970d
1 Sat Oct 23 12:04:43 JST 2010
2
3 sentList から外すときに、unMergeCmds からも外すのだが、その時に、merge command が
4 外れないらしい。
5
6 それっぽいものをunMergedCmdsから外す
7 unMergedCmds に sentList との対応を足す
8 そもそも、unMergedCmds = reverse(sentList) なはず (merge中以外)
9 unMergedCmds を廃止 (merge 時は、sentMergeList を使う)
10
11 とか言う手を思い付きますが…
12
1 Thu Oct 21 12:27:44 JST 2010 13 Thu Oct 21 12:27:44 JST 2010
2 14
3 外部からのINESRT に USER_INSERTがはまりこんでいるが… 15 外部からのINESRT に USER_INSERTがはまりこんでいるが…
4 16
5 Editor SM 17 Editor SM