Context Navigation

Changes between Initial Version and Version 1 of Ticket #2555, comment 1

initial	v1
1		Passing the `previous_watcher` to the storage server is just a way to let the storage server free up resources by ceasing to send notifications to that old one. The client does ~~not~~ rely on the storage server's behavior with regard to that! The client implements a purely client-side ordering guarantee in which it synchronously disables the old watcher (the old watcher is effectively a revocable forwarder) before it sends this request to the server and gives the server access to the new watcher.
	1	Passing the `previous_watcher` to the storage server is just a way to let the storage server free up resources by ceasing to send notifications to that old one. The client does ''not'' rely on the storage server's behavior with regard to that! The client implements a purely client-side ordering guarantee in which it synchronously disables the old watcher (the old watcher is effectively a revocable forwarder) before it sends this request to the server and gives the server access to the new watcher.