chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 42dcf50) | patch
Revert "cmd updates: Restart updates when insert follows delete"
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 31 Mar 2021 18:36:59 +0000 (19:36 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 1 Apr 2021 10:37:58 +0000 (11:37 +0100)
commit5258eb7dde77f002e31e16f1fad5c420d1c9e535
tree77ec6f170d85f43cd1e3a56f469dcff492d38110tree | snapshot
parent42dcf50d49dd01e29a1ff2cd07e598023b1f6359commit | diff
Revert "cmd updates: Restart updates when insert follows delete"

This is not sufficient - it happens just too late.

This reverts commit 0dd82eda76f4750e39ca18b586c7f7a1cf8ed9c7.
daemon/cmdlistener.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.