chiark / gitweb /
otter.git
4 years agowip email templates etc.
Ian Jackson [Sat, 5 Dec 2020 14:54:12 +0000 (14:54 +0000)]
wip email templates etc.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip email templates etc.
Ian Jackson [Sat, 5 Dec 2020 14:16:44 +0000 (14:16 +0000)]
wip email templates etc.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoget_or_try_insert_with, but actually we're not going to use it
Ian Jackson [Sat, 5 Dec 2020 11:12:26 +0000 (11:12 +0000)]
get_or_try_insert_with, but actually we're not going to use it

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agotempfile dependency
Ian Jackson [Sat, 5 Dec 2020 10:58:35 +0000 (10:58 +0000)]
tempfile dependency

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip email templates etc.
Ian Jackson [Sat, 5 Dec 2020 10:57:59 +0000 (10:57 +0000)]
wip email templates etc.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip email templates etc.
Ian Jackson [Sat, 5 Dec 2020 00:03:26 +0000 (00:03 +0000)]
wip email templates etc.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agofancier clean target
Ian Jackson [Mon, 30 Nov 2020 19:13:08 +0000 (19:13 +0000)]
fancier clean target

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoRevert "Provide /_/README.md too"
Ian Jackson [Mon, 30 Nov 2020 19:08:02 +0000 (19:08 +0000)]
Revert "Provide /_/README.md too"

Actually this was a bug in bundling

This reverts commit f2a6cbc9ac0172be38ba0e6573278400c0b09d93.

4 years agofix source bundling
Ian Jackson [Mon, 30 Nov 2020 19:07:09 +0000 (19:07 +0000)]
fix source bundling

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agomkdir -p for bundled-sources
Ian Jackson [Mon, 30 Nov 2020 18:41:13 +0000 (18:41 +0000)]
mkdir -p for bundled-sources

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoProvide /_/README.md too
Ian Jackson [Mon, 30 Nov 2020 18:37:42 +0000 (18:37 +0000)]
Provide /_/README.md too

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoRevert "break out otter-daemon into own crate"
Ian Jackson [Mon, 30 Nov 2020 18:37:09 +0000 (18:37 +0000)]
Revert "break out otter-daemon into own crate"

We reverted most of this, now do the rest too.

This reverts commit 1d4f8f10aaeb9f613688285cd8600646b19d2faf.

4 years agomake things clean
Ian Jackson [Mon, 30 Nov 2020 18:34:04 +0000 (18:34 +0000)]
make things clean

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowork around firefox GetScreenCTM bug
Ian Jackson [Mon, 30 Nov 2020 11:28:15 +0000 (11:28 +0000)]
work around firefox GetScreenCTM bug

Well this is a bodge!

  https://bugzilla.mozilla.org/show_bug.cgi?id=1610093
  https://bugzilla.mozilla.org/show_bug.cgi?id=972041
  https://bugzilla.mozilla.org/show_bug.cgi?id=1446011

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agofix span
Ian Jackson [Mon, 30 Nov 2020 00:05:39 +0000 (00:05 +0000)]
fix span

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agozoom button
Ian Jackson [Mon, 30 Nov 2020 00:03:08 +0000 (00:03 +0000)]
zoom button

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip zoom
Ian Jackson [Sun, 29 Nov 2020 23:33:50 +0000 (23:33 +0000)]
wip zoom

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agochange formatting a bit
Ian Jackson [Sun, 29 Nov 2020 22:45:32 +0000 (22:45 +0000)]
change formatting a bit

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agopenultima: adjust colours
Ian Jackson [Sun, 29 Nov 2020 21:18:48 +0000 (21:18 +0000)]
penultima: adjust colours

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoallow setting of the table colour
Ian Jackson [Sun, 29 Nov 2020 21:18:37 +0000 (21:18 +0000)]
allow setting of the table colour

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agouse active voice, saying who set table size
Ian Jackson [Sun, 29 Nov 2020 21:03:22 +0000 (21:03 +0000)]
use active voice, saying who set table size

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agomake it obvious when new fields are added
Ian Jackson [Sun, 29 Nov 2020 20:59:04 +0000 (20:59 +0000)]
make it obvious when new fields are added

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agobetter handling for leave game
Ian Jackson [Sun, 29 Nov 2020 20:00:24 +0000 (20:00 +0000)]
better handling for leave game

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agohandle RemovePlayer for others
Ian Jackson [Sun, 29 Nov 2020 19:56:54 +0000 (19:56 +0000)]
handle RemovePlayer for others

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agohandle AddPlayer
Ian Jackson [Sat, 28 Nov 2020 11:52:54 +0000 (11:52 +0000)]
handle AddPlayer

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agosend updates for player add/remove
Ian Jackson [Sat, 28 Nov 2020 11:49:26 +0000 (11:49 +0000)]
send updates for player add/remove

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agosort imports
Ian Jackson [Sat, 28 Nov 2020 11:08:35 +0000 (11:08 +0000)]
sort imports

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoimprove the README slightly
Ian Jackson [Sat, 28 Nov 2020 00:49:49 +0000 (00:49 +0000)]
improve the README slightly

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoimprove the README following dependency rationalisation
Ian Jackson [Sat, 28 Nov 2020 00:44:30 +0000 (00:44 +0000)]
improve the README following dependency rationalisation

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoRevert "wip split off daemon/, before revert"
Ian Jackson [Sat, 28 Nov 2020 00:39:34 +0000 (00:39 +0000)]
Revert "wip split off daemon/, before revert"

This isn't actually so easy.  In particular PieceSpec will cause a lot
of trouble.  Also lots of dupes from filename completion.

So undo it all.

This reverts commit 7b6c42eb3e71ee3094009bf7c494ad4d68c88a23.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip split off daemon/, before revert
Ian Jackson [Sat, 28 Nov 2020 00:39:24 +0000 (00:39 +0000)]
wip split off daemon/, before revert

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agodedupe dependencies
Ian Jackson [Sat, 28 Nov 2020 00:17:18 +0000 (00:17 +0000)]
dedupe dependencies

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agobreak out otter-daemon into own crate
Ian Jackson [Sat, 28 Nov 2020 00:14:32 +0000 (00:14 +0000)]
break out otter-daemon into own crate

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agotidy up Cargo.lock
Ian Jackson [Sat, 28 Nov 2020 00:06:35 +0000 (00:06 +0000)]
tidy up Cargo.lock

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoimports: fix style
Ian Jackson [Sat, 28 Nov 2020 00:02:29 +0000 (00:02 +0000)]
imports: fix style

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agodrop unused type alias (and fix one mistaken reference to it)
Ian Jackson [Sat, 28 Nov 2020 00:00:34 +0000 (00:00 +0000)]
drop unused type alias (and fix one mistaken reference to it)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoreformat imports
Ian Jackson [Fri, 27 Nov 2020 23:59:45 +0000 (23:59 +0000)]
reformat imports

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agosort imports
Ian Jackson [Fri, 27 Nov 2020 23:57:53 +0000 (23:57 +0000)]
sort imports

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agodrop unused imports
Ian Jackson [Fri, 27 Nov 2020 23:57:08 +0000 (23:57 +0000)]
drop unused imports

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agodrop unused dependency on abandoned rental crate
Ian Jackson [Fri, 27 Nov 2020 23:54:39 +0000 (23:54 +0000)]
drop unused dependency on abandoned rental crate

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoshapelib: Drop some spurious whitespace
Ian Jackson [Fri, 27 Nov 2020 23:53:36 +0000 (23:53 +0000)]
shapelib: Drop some spurious whitespace

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoshapelib: Use parking_lot, not rental
Ian Jackson [Fri, 27 Nov 2020 23:53:18 +0000 (23:53 +0000)]
shapelib: Use parking_lot, not rental

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agosort dependencies
Ian Jackson [Fri, 27 Nov 2020 23:29:46 +0000 (23:29 +0000)]
sort dependencies

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agodrop unused hashlink dependency
Ian Jackson [Fri, 27 Nov 2020 23:28:51 +0000 (23:28 +0000)]
drop unused hashlink dependency

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoupstream flexi_logger
Ian Jackson [Fri, 27 Nov 2020 23:25:49 +0000 (23:25 +0000)]
upstream flexi_logger

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agolook at Cargo.lock.example for Makefile too
Ian Jackson [Fri, 27 Nov 2020 23:16:17 +0000 (23:16 +0000)]
look at Cargo.lock.example for Makefile too

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agogeneral cargo update
Ian Jackson [Fri, 27 Nov 2020 23:16:10 +0000 (23:16 +0000)]
general cargo update

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoupstream rocket!
Ian Jackson [Fri, 27 Nov 2020 23:13:31 +0000 (23:13 +0000)]
upstream rocket!

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoupstream rocket!
Ian Jackson [Fri, 27 Nov 2020 23:11:48 +0000 (23:11 +0000)]
upstream rocket!

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoget rid of the blueification div which doesn't work
Ian Jackson [Fri, 27 Nov 2020 22:34:30 +0000 (22:34 +0000)]
get rid of the blueification div which doesn't work

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agorecord what is deployed (fix)
Ian Jackson [Fri, 27 Nov 2020 22:24:53 +0000 (22:24 +0000)]
record what is deployed (fix)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agofix switch to portrait
Ian Jackson [Fri, 27 Nov 2020 22:22:40 +0000 (22:22 +0000)]
fix switch to portrait

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agorecord what is deployed
Ian Jackson [Fri, 27 Nov 2020 22:22:29 +0000 (22:22 +0000)]
record what is deployed

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agomake switch to portrait view workc
Ian Jackson [Fri, 27 Nov 2020 22:20:05 +0000 (22:20 +0000)]
make switch to portrait view workc

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agotable_colour in game state
Ian Jackson [Fri, 27 Nov 2020 20:56:13 +0000 (20:56 +0000)]
table_colour in game state

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoquieten highlighting for only grasp/ungrasp
Ian Jackson [Fri, 27 Nov 2020 20:51:17 +0000 (20:51 +0000)]
quieten highlighting for only grasp/ungrasp

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agohighlight more changes
Ian Jackson [Fri, 27 Nov 2020 20:48:00 +0000 (20:48 +0000)]
highlight more changes

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agofix title
Ian Jackson [Fri, 27 Nov 2020 20:40:04 +0000 (20:40 +0000)]
fix title

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agofixes done
Ian Jackson [Fri, 27 Nov 2020 20:37:06 +0000 (20:37 +0000)]
fixes done

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agolook up player (!)
Ian Jackson [Fri, 27 Nov 2020 19:44:48 +0000 (19:44 +0000)]
look up player (!)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agolayout wip and also a todo
Ian Jackson [Fri, 27 Nov 2020 01:28:22 +0000 (01:28 +0000)]
layout wip and also a todo

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agosupport /p too
Ian Jackson [Fri, 27 Nov 2020 00:55:09 +0000 (00:55 +0000)]
support /p too

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agolast log timestamp progation from session.rs to script.ts
Ian Jackson [Fri, 27 Nov 2020 00:47:58 +0000 (00:47 +0000)]
last log timestamp progation from session.rs to script.ts

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoold log abbrev timestamps
Ian Jackson [Fri, 27 Nov 2020 00:40:45 +0000 (00:40 +0000)]
old log abbrev timestamps

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agofixed some bugs earlier
Ian Jackson [Fri, 27 Nov 2020 00:21:47 +0000 (00:21 +0000)]
fixed some bugs earlier

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agolayout - todo
Ian Jackson [Thu, 26 Nov 2020 22:02:23 +0000 (22:02 +0000)]
layout - todo

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoabbrev timestamps - todos
Ian Jackson [Thu, 26 Nov 2020 22:02:15 +0000 (22:02 +0000)]
abbrev timestamps - todos

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoabbrev timestamps of added messages
Ian Jackson [Thu, 26 Nov 2020 21:59:20 +0000 (21:59 +0000)]
abbrev timestamps of added messages

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip timestamp_abbreviate
Ian Jackson [Thu, 26 Nov 2020 21:35:57 +0000 (21:35 +0000)]
wip timestamp_abbreviate

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip timestamp_abbreviate
Ian Jackson [Thu, 26 Nov 2020 21:32:13 +0000 (21:32 +0000)]
wip timestamp_abbreviate

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agofix scroll
Ian Jackson [Thu, 26 Nov 2020 21:21:32 +0000 (21:21 +0000)]
fix scroll

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip try to fix scroll
Ian Jackson [Thu, 26 Nov 2020 21:13:38 +0000 (21:13 +0000)]
wip try to fix scroll

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agofix width thing
Ian Jackson [Thu, 26 Nov 2020 20:03:09 +0000 (20:03 +0000)]
fix width thing

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agofix footer styling
Ian Jackson [Thu, 26 Nov 2020 19:34:46 +0000 (19:34 +0000)]
fix footer styling

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agofix log scrolling to only scroll when desired
Ian Jackson [Thu, 26 Nov 2020 18:59:55 +0000 (18:59 +0000)]
fix log scrolling to only scroll when desired

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agosort out log in landscape
Ian Jackson [Thu, 26 Nov 2020 00:57:00 +0000 (00:57 +0000)]
sort out log in landscape

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agolayout fixes
Ian Jackson [Thu, 26 Nov 2020 00:40:34 +0000 (00:40 +0000)]
layout fixes

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agolayout fixes
Ian Jackson [Thu, 26 Nov 2020 00:30:22 +0000 (00:30 +0000)]
layout fixes

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoview switching
Ian Jackson [Thu, 26 Nov 2020 00:17:52 +0000 (00:17 +0000)]
view switching

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoLandscape mode via url
Ian Jackson [Thu, 26 Nov 2020 00:10:54 +0000 (00:10 +0000)]
Landscape mode via url

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoput token in ? parameters
Ian Jackson [Wed, 25 Nov 2020 23:15:40 +0000 (23:15 +0000)]
put token in ? parameters

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agosomething roughly resembling working landscape
Ian Jackson [Wed, 25 Nov 2020 22:33:32 +0000 (22:33 +0000)]
something roughly resembling working landscape

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agobefore try flex horiz too
Ian Jackson [Wed, 25 Nov 2020 22:21:30 +0000 (22:21 +0000)]
before try flex horiz too

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip refactor for landscape optionality
Ian Jackson [Wed, 25 Nov 2020 21:03:29 +0000 (21:03 +0000)]
wip refactor for landscape optionality

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agomove comments in server.toml
Ian Jackson [Wed, 25 Nov 2020 21:00:41 +0000 (21:00 +0000)]
move comments in server.toml

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoa comment about tera and logging
Ian Jackson [Wed, 25 Nov 2020 21:00:19 +0000 (21:00 +0000)]
a comment about tera and logging

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agolandscape.tera from other version
Ian Jackson [Wed, 25 Nov 2020 20:23:42 +0000 (20:23 +0000)]
landscape.tera from other version

We're going to use Jinja inheritance

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoRevert "for revert/rework: demo landscape mode"
Ian Jackson [Wed, 25 Nov 2020 20:23:28 +0000 (20:23 +0000)]
Revert "for revert/rework: demo landscape mode"

This reverts commit c6ef9c4cea154323cfc760aabf91ac255685bce3.

4 years agofor revert/rework: demo landscape mode
Ian Jackson [Wed, 25 Nov 2020 20:20:54 +0000 (20:20 +0000)]
for revert/rework: demo landscape mode

Will want to use elements of this

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoprep for layout changes (fix)
Ian Jackson [Mon, 23 Nov 2020 21:07:37 +0000 (21:07 +0000)]
prep for layout changes (fix)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoprep for layout changes
Ian Jackson [Mon, 23 Nov 2020 21:01:35 +0000 (21:01 +0000)]
prep for layout changes

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoset width explicitly
Ian Jackson [Mon, 23 Nov 2020 21:01:23 +0000 (21:01 +0000)]
set width explicitly

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoprep for layout changes
Ian Jackson [Mon, 23 Nov 2020 20:45:54 +0000 (20:45 +0000)]
prep for layout changes

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoprep for layout changes
Ian Jackson [Mon, 23 Nov 2020 20:37:12 +0000 (20:37 +0000)]
prep for layout changes

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoa todo list item
Ian Jackson [Mon, 23 Nov 2020 20:24:29 +0000 (20:24 +0000)]
a todo list item

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agofix leave game to not delete all pieces
Ian Jackson [Mon, 23 Nov 2020 19:20:33 +0000 (19:20 +0000)]
fix leave game to not delete all pieces

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agonicely handle leaving the game
Ian Jackson [Mon, 23 Nov 2020 19:06:09 +0000 (19:06 +0000)]
nicely handle leaving the game

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agomake less of a mess in quitting player
Ian Jackson [Mon, 23 Nov 2020 19:00:09 +0000 (19:00 +0000)]
make less of a mess in quitting player

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agobugs
Ian Jackson [Mon, 23 Nov 2020 02:24:12 +0000 (02:24 +0000)]
bugs

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agonice penultima, document
Ian Jackson [Mon, 23 Nov 2020 02:13:44 +0000 (02:13 +0000)]
nice penultima, document

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>