Oh, thanks! I'd hoped there was a trick, and should have known there'd be a tiddler for it somewhere :)
On Tuesday, June 15, 2021 at 6:09:39 PM UTC-4 joshua....@gmail.com wrote: > Delete the `$:/state/Bob/EditingTiddlers` tid. > > Best, > Joshua Fontany > On Tuesday, June 15, 2021 at 10:59:50 AM UTC-7 Ed Heil wrote: > >> >> Another Bob-related question -- >> >> I've had it more than once that I've lost a browser tab for one reason or >> another while it was editing a tiddler in a Bob-served wiki. At that point, >> it's locked, since the tab that was editing it is gone, and it's liable to >> stay locked for a long time unless I ssh in to the server and restart it. >> >> I'm wondering if there's any way to "steal" a tiddler away from the >> now-nonexistent editing session, or indeed do anything short of restarting >> the server to free it up again? >> >> >> -- You received this message because you are subscribed to the Google Groups "TiddlyWiki" group. To unsubscribe from this group and stop receiving emails from it, send an email to tiddlywiki+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywiki/e6605596-ef94-4433-a9ec-f43cceba8e07n%40googlegroups.com.
