From: Ian Jackson Date: Sat, 20 Mar 2021 21:57:35 +0000 (+0000) Subject: clock: Delete mockup files X-Git-Tag: otter-0.5.0~608 X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=fb63461455da8b269f09c6d66aa52acdce7f3f5a;p=otter.git clock: Delete mockup files We don't need these now. Signed-off-by: Ian Jackson --- diff --git a/server dummy - alice - Otter.html b/server dummy - alice - Otter.html deleted file mode 100644 index 39233593..00000000 --- a/server dummy - alice - Otter.html +++ /dev/null @@ -1,948 +0,0 @@ - - - - server::dummy - alice - Otter - - - - - - - - - - - - - -
- -Hi alice - -| -g - - -| -FAKING RANDOMNESS! -server online 1#1 1C1 G538 U1 K1 - -| -switch to landscape view | -links: Voice Shapelib | - -% - - -

-
-
-
-    
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-
-    
-    
-    
-
-
-      
-
-
-
-
-
-
-
-
-
-        
-
-123○
-04
-Slartibartfast
-909⚑99
--
-
-
-
-    
-    
-
-

-

-
- 

-  

-    
b send to bottom (below other pieces)
l rotate left
r rotate right

-  
P Pin to table
W Enter wresting mode

-  

-    
Mouse select/deselect/drag

-    
shift multiple selection

-    
Show
-      H this help
-      U players
-    

-  

- 

-
- 
-
-

-
-
-

-  

-    
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-      
-    
[server:] (re)configured the game2021-03-16 18:05:40 +0000
alice [server:alice] joined the game2021-03-16 18:05:42 +0000
bob [server:bob] joined the game2021-03-16 18:05:42 +0000
[server:] set the link Info2021-03-16 18:05:42 +0000
[server:] removed the link Info2021-03-16 18:05:42 +0000
[server:] (re)configured the game2021-03-16 18:05:42 +0000
[server:] (re)configured the game2021-03-16 18:05:42 +0000
[server:] (re)configured the game2021-03-16 18:05:42 +0000
[server:] (re)configured the game2021-03-16 18:05:42 +0000
[server:] (re)configured the game2021-03-16 18:05:42 +0000
[server:] (re)configured the game2021-03-16 18:05:42 +0000
[server:] (re)configured the game2021-03-16 18:05:42 +0000
[server:] (re)configured the game2021-03-16 18:05:42 +0000
[server:] (re)configured the game2021-03-16 18:05:42 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:05:55 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
[server:] (re)configured the game2021-03-16 18:06:56 +0000
alice grasped the chess clock2021-03-16 18:15:23 +0000
alice released the chess clock2021-03-16 18:15:25 +0000
alice grasped the chess clock2021-03-16 18:15:26 +0000
alice released the chess clock2021-03-16 18:15:26 +0000
alice grasped the chess clock2021-03-16 18:15:26 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
[server:] (re)configured the game2021-03-16 18:16:01 +0000
alice grasped the chess clock2021-03-16 18:16:07 +0000

-  

-

-
-  

-    
-    

-    

-      This server is running Otter, the Online TableTop Environment
-      Renderer.  Otter and its shape (piece picture) libraries
-      are Free Software and come with NO
-      WARRANTY.
-  

-
-
diff --git a/server dummy - alice - Otter_files/script.js b/server dummy - alice - Otter_files/script.js
deleted file mode 100644
index ce3a40aa..00000000
--- a/server dummy - alice - Otter_files/script.js	
+++ /dev/null
@@ -1,1163 +0,0 @@
-"use strict";
-// -*- JavaScript -*-
-// autogenerated from templates/script.ts webassembly-types/webassembly.d.ts templates/otter_wasm.ns.d.ts
-// -*- JavaScript -*-
-
-// Copyright 2020-2021 Ian Jackson and contributors to Otter
-// SPDX-License-Identifier: AGPL-3.0-or-later
-// There is NO WARRANTY. -->
-
-// elemnts for a piece
-//
-// In svg toplevel
-//
-//   uelem
-//      #use{}
-//      
-//         .piece   piece id (static)
-//      container to allow quick movement and hang stuff off
-//
-//   delem
-//      #defs{}
-//      
-//
-// And in each delem
-//
-//   pelem
-//   #piece{}
-//         .dragraise   dragged more than this ?  raise to top!
-//      
-//      currently-displayed version of the piece
-//      to allow addition/removal of selected indication
-//      contains 1 or 3 subelements:
-//      one is straight from server and not modified
-//      one is possible 
-//      one is possible 
-//
-//   #select{}
-//      generated by server, referenced by JS in pelem for selection
-//
-//   #def.{}.stuff
-//      generated by server, reserved for Piece trait impl
-
-let wasm;
-var pieces = Object.create(null);
-;
-// todo turn all var into let
-// todo any exceptions should have otter in them or something
-var globalinfo_elem;
-var layout;
-var held_surround_colour;
-var general_timeout = 10000;
-var messages = Object();
-var pieceops = Object();
-var update_error_handlers = Object();
-var piece_error_handlers = Object();
-var our_dnd_type = "text/puvnex-game-server-dummy";
-var api_queue = [];
-var api_posting = false;
-var us;
-var gen = 0;
-var cseq = 0;
-var ctoken;
-var uo_map = Object.create(null);
-var keyops_local = Object();
-var last_log_ts;
-var last_zoom_factor = 1.0;
-var firefox_bug_zoom_factor_compensation = 1.0;
-var gen_update_hook = function () { };
-var svg_ns;
-var space;
-var pieces_marker;
-var defs_marker;
-var log_elem;
-var logscroll_elem;
-var status_node;
-var uos_node;
-var zoom_val;
-var zoom_btn;
-var links_elem;
-var wresting;
-const pane_keys = {
-    "H": "help",
-    "U": "players",
-};
-const uo_kind_prec = {
-    'GlobalExtra': 50,
-    'Client': 70,
-    'Global': 100,
-    'Piece': 200,
-    'ClientExtra': 500,
-};
-var players;
-var movements = [];
-function xhr_post_then(url, data, good) {
-    var xhr = new XMLHttpRequest();
-    xhr.onreadystatechange = function () {
-        if (xhr.readyState != XMLHttpRequest.DONE) {
-            return;
-        }
-        if (xhr.status != 200) {
-            xhr_report_error(xhr);
-        }
-        else {
-            good(xhr);
-        }
-    };
-    xhr.timeout = general_timeout;
-    xhr.open('POST', url);
-    xhr.setRequestHeader('Content-Type', 'application/json');
-    xhr.send(data);
-}
-function xhr_report_error(xhr) {
-    json_report_error({
-        statusText: xhr.statusText,
-        responseText: xhr.responseText,
-    });
-}
-function json_report_error(error_for_json) {
-    let error_message = JSON.stringify(error_for_json);
-    string_report_error(error_message);
-}
-function string_report_error(error_message) {
-    let errornode = document.getElementById('error');
-    errornode.textContent += '\nError (reloading may help?):' + error_message;
-    console.error("ERROR reported via log", error_message);
-    // todo want to fix this for at least basic game reconfigs, auto-reload?
-}
-function api(meth, data) {
-    api_queue.push([meth, data]);
-    api_check();
-}
-function api_delay(meth, data) {
-    if (api_queue.length == 0)
-        window.setTimeout(api_check, 10);
-    api_queue.push([meth, data]);
-}
-function api_check() {
-    if (api_posting) {
-        return;
-    }
-    if (!api_queue.length) {
-        return;
-    }
-    do {
-        var [meth, data] = api_queue.shift();
-        if (meth != 'm')
-            break;
-        let piece = data.piece;
-        let p = pieces[piece];
-        if (p == null)
-            break;
-        p.queued_moves--;
-        if (p.queued_moves == 0)
-            break;
-    } while (1);
-    api_posting = true;
-    xhr_post_then('/_/api/' + meth, JSON.stringify(data), api_posted);
-}
-function api_posted() {
-    api_posting = false;
-    api_check();
-}
-function api_piece(f, meth, piece, p, op) {
-    clear_halo(piece, p);
-    cseq += 1;
-    p.cseq = cseq;
-    f(meth, {
-        ctoken: ctoken,
-        piece: piece,
-        gen: gen,
-        cseq: cseq,
-        op: op,
-    });
-}
-function svg_element(id) {
-    let elem = document.getElementById(id);
-    return elem;
-}
-function piece_element(base, piece) {
-    return svg_element(base + piece);
-}
-// ----- key handling -----
-function recompute_keybindings() {
-    uo_map = Object.create(null);
-    let all_targets = [];
-    for (let piece of Object.keys(pieces)) {
-        let p = pieces[piece];
-        if (p.held != us)
-            continue;
-        all_targets.push(piece);
-        for (var uo of p.uos) {
-            let currently = uo_map[uo.def_key];
-            if (currently === null)
-                continue;
-            if (currently !== undefined) {
-                if (currently.opname != uo.opname) {
-                    uo_map[uo.def_key] = null;
-                    continue;
-                }
-            }
-            else {
-                currently = Object.assign({ targets: [] }, uo);
-                uo_map[uo.def_key] = currently;
-            }
-            currently.desc = currently.desc < uo.desc ? currently.desc : uo.desc;
-            currently.targets.push(piece);
-        }
-    }
-    let add_uo = function (targets, uo) {
-        uo_map[uo.def_key] = Object.assign({ targets: targets }, uo);
-    };
-    if (all_targets.length) {
-        add_uo(all_targets, {
-            def_key: 'l',
-            kind: 'Client',
-            wrc: 'Predictable',
-            opname: "left",
-            desc: "rotate left",
-        });
-        add_uo(all_targets, {
-            def_key: 'r',
-            kind: 'Client',
-            wrc: 'Predictable',
-            opname: "right",
-            desc: "rotate right",
-        });
-        add_uo(all_targets, {
-            def_key: 'b',
-            kind: 'Client',
-            wrc: 'Predictable',
-            opname: "lower",
-            desc: "send to bottom (below other pieces)",
-        });
-    }
-    if (all_targets.length) {
-        let got = 0;
-        for (let t of all_targets) {
-            got |= 1 << Number(pieces[t].pinned);
-        }
-        if (got == 1) {
-            add_uo(all_targets, {
-                def_key: 'P',
-                kind: 'ClientExtra',
-                opname: 'pin',
-                desc: 'Pin to table',
-                wrc: 'Predictable',
-            });
-        }
-        else if (got == 2) {
-            add_uo(all_targets, {
-                def_key: 'P',
-                kind: 'ClientExtra',
-                opname: 'unpin',
-                desc: 'Unpin from table',
-                wrc: 'Predictable',
-            });
-        }
-    }
-    add_uo(null, {
-        def_key: 'W',
-        kind: 'ClientExtra',
-        opname: 'wrest',
-        desc: wresting ? 'Exit wresting mode' : 'Enter wresting mode',
-        wrc: 'Predictable',
-    });
-    var uo_keys = Object.keys(uo_map);
-    uo_keys.sort(function (ak, bk) {
-        let a = uo_map[ak];
-        let b = uo_map[bk];
-        return uo_kind_prec[a.kind] - uo_kind_prec[b.kind]
-            || ak.localeCompare(bk);
-    });
-    let mid_elem = null;
-    for (let celem = uos_node.firstElementChild; celem != null; celem = nextelem) {
-        var nextelem = celem.nextElementSibling;
-        let cid = celem.getAttribute("id");
-        if (cid == "uos-mid")
-            mid_elem = celem;
-        else if (celem.getAttribute("class") == 'uos-mid') { }
-        else
-            celem.remove();
-    }
-    for (var kk of uo_keys) {
-        let uo = uo_map[kk];
-        let prec = uo_kind_prec[uo.kind];
-        let ent = document.createElement('div');
-        ent.innerHTML = '' + kk + ' ' + uo.desc;
-        if (prec < 400) {
-            ent.setAttribute('class', 'uokey-l');
-            uos_node.insertBefore(ent, mid_elem);
-        }
-        else {
-            ent.setAttribute('class', 'uokey-r');
-            uos_node.appendChild(ent);
-        }
-    }
-}
-function some_keydown(e) {
-    // https://developer.mozilla.org/en-US/docs/Web/API/Document/keydown_event
-    // says to do this, something to do with CJK composition.
-    // https://developer.mozilla.org/en-US/docs/Web/API/KeyboardEvent
-    // says that keyCode is deprecated
-    // my tsc says this isComposing thing doesn't exist.  wat.
-    if (e.isComposing /* || e.keyCode === 229 */)
-        return;
-    if (e.ctrlKey || e.altKey || e.metaKey)
-        return;
-    let pane = pane_keys[e.key];
-    if (pane) {
-        return pane_switch(pane);
-    }
-    let uo = uo_map[e.key];
-    if (uo === undefined || uo === null)
-        return;
-    console.log('KEY UO', e, uo);
-    if (uo.kind == 'Client' || uo.kind == 'ClientExtra') {
-        let f = keyops_local[uo.opname];
-        f(uo);
-        return;
-    }
-    if (!(uo.kind == 'Global' || uo.kind == 'GlobalExtra' || uo.kind == 'Piece'))
-        throw 'bad kind ' + uo.kind;
-    for (var piece of uo.targets) {
-        let p = pieces[piece];
-        api_piece(api, 'k', piece, p, { opname: uo.opname, wrc: uo.wrc });
-        if (uo.wrc == 'UpdateSvg') {
-            p.cseq_updatesvg = p.cseq;
-            redisplay_ancillaries(piece, p);
-        }
-    }
-}
-function pane_switch(newpane) {
-    let new_e;
-    for (;;) {
-        new_e = document.getElementById('pane_' + newpane);
-        let style = new_e.getAttribute('style');
-        if (style || newpane == 'help')
-            break;
-        newpane = 'help';
-    }
-    for (let old_e = new_e.parentElement.firstElementChild; old_e; old_e = old_e.nextElementSibling) {
-        old_e.setAttribute('style', 'display: none;');
-    }
-    new_e.removeAttribute('style');
-}
-keyops_local['left'] = function (uo) { rotate_targets(uo, +1); };
-keyops_local['right'] = function (uo) { rotate_targets(uo, -1); };
-function rotate_targets(uo, dangle) {
-    for (let piece of uo.targets) {
-        let p = pieces[piece];
-        p.angle += dangle + 8;
-        p.angle %= 8;
-        let transform = wasm_bindgen.angle_transform(p.angle);
-        p.pelem.setAttributeNS(null, 'transform', transform);
-        api_piece(api, 'rotate', piece, p, p.angle);
-    }
-    recompute_keybindings();
-    return true;
-}
-keyops_local['lower'] = function (uo) { lower_targets(uo); };
-function lower_targets(uo) {
-    function target_treat_pinned(p) {
-        return wresting || p.pinned;
-        ;
-    }
-    let targets_todo = Object.create(null);
-    for (let piece of uo.targets) {
-        let p = pieces[piece];
-        let pinned = target_treat_pinned(p);
-        targets_todo[piece] = { p, piece, pinned, };
-    }
-    let problem = lower_pieces(targets_todo);
-    if (problem !== null) {
-        add_log_message('Cannot lower: ' + problem);
-        return false;
-    }
-    return true;
-}
-function lower_pieces(targets_todo) {
-    // This is a bit subtle.  We don't want to lower below pinned pieces
-    // (unless we are pinned too, or the user is wresting).  But maybe
-    // the pinned pieces aren't already at the bottom.  For now we will
-    // declare that all pinned pieces "should" be below all non-pinned
-    // ones.  Not as an invariant, but as a thing we will do here to try
-    // to make a sensible result.  We implement this as follows: if we
-    // find pinned pieces above non-pinned pieces, we move those pinned
-    // pieces to the bottom too, just below us, preserving their
-    // relative order.
-    //
-    // Disregarding pinned targets:
-    //
-    // Z     
-    // Z
-    //       topmost unpinned target         *
-    // B (
-    // B     unpinned non-target
-    // B |   unpinned target                 *
-    // B |   pinned non-target, mis-stacked  *
-    // B )*
-    // B
-    //       bottommost unpinned non-target
-    //        if that is below topmost unpinned target
-    //            <- tomove_unpinned: insert targets from * here        Q ->
-    //            <- tomove_misstacked: insert non-targets from * here  Q->
-    // A
-    // A     pinned things (nomove_pinned)
-    //            <- tomove_pinned: insert all pinned targets here      P ->
-    //
-    // When wresting, treat all targets as pinned.
-    // bottom of the stack order first
-    let tomove_unpinned = [];
-    let tomove_misstacked = [];
-    let nomove_pinned = [];
-    let tomove_pinned = [];
-    let bottommost_unpinned = null;
-    let n_targets_todo_unpinned = 0;
-    for (const piece of Object.keys(targets_todo)) {
-        let p = targets_todo[piece];
-        if (!p.pinned)
-            n_targets_todo_unpinned++;
-    }
-    let walk = pieces_marker;
-    for (;;) { // starting at the bottom of the stack order
-        if (n_targets_todo_unpinned == 0
-            && bottommost_unpinned !== null) {
-            // no unpinned targets left, state Z, we can stop now
-            console.log('LOWER STATE Z FINISHED');
-            break;
-        }
-        if (Object.keys(targets_todo).length == 0 &&
-            bottommost_unpinned !== null) {
-            console.log('LOWER NO TARGETS BUT UNPINNED!', n_targets_todo_unpinned);
-            break;
-        }
-        let new_walk = walk.nextElementSibling;
-        if (new_walk == null) {
-            console.log('LOWER WALK NO SIBLING!');
-            break;
-        }
-        walk = new_walk;
-        let piece = walk.dataset.piece;
-        if (piece == null) {
-            console.log('LOWER WALK REACHED TOP');
-            break;
-        }
-        let todo = targets_todo[piece];
-        if (todo) {
-            console.log('LOWER WALK', piece, 'TODO', todo.pinned);
-            delete targets_todo[piece];
-            if (!todo.pinned)
-                n_targets_todo_unpinned--;
-            (todo.pinned ? tomove_pinned : tomove_unpinned).push(todo);
-            continue;
-        }
-        let p = pieces[piece];
-        if (bottommost_unpinned === null) { // state A
-            if (!p.pinned) {
-                console.log('LOWER WALK', piece, 'STATE A -> Z');
-                bottommost_unpinned = { p, piece };
-            }
-            else {
-                console.log('LOWER WALK', piece, 'STATE A');
-                nomove_pinned.push({ p, piece });
-            }
-            continue;
-        }
-        // state B
-        if (p.pinned) {
-            console.log('LOWER WALK', piece, 'STATE B MIS-STACKED');
-            tomove_misstacked.push({ p, piece });
-        }
-        else {
-            console.log('LOWER WALK', piece, 'STATE B');
-        }
-    }
-    let z_top = bottommost_unpinned ? bottommost_unpinned.p.z :
-        walk.dataset.piece != null ? pieces[walk.dataset.piece].z :
-            // rather a lack of things we are not adjusting!
-            wasm_bindgen.def_zcoord();
-    let plan = [];
-    let partQ = tomove_unpinned.concat(tomove_misstacked);
-    let partP = tomove_pinned;
-    if (nomove_pinned.length == 0) {
-        plan.push({
-            content: partQ.concat(partP),
-            z_top,
-            z_bot: null,
-        });
-    }
-    else {
-        plan.push({
-            content: partQ,
-            z_top,
-            z_bot: nomove_pinned[nomove_pinned.length - 1].p.z,
-        }, {
-            content: partP,
-            z_top: nomove_pinned[0].p.z,
-            z_bot: null,
-        });
-    }
-    console.log('LOWER PLAN', plan);
-    for (const pe of plan) {
-        for (const e of pe.content) {
-            if (e.p.held != null && e.p.held != us) {
-                return "lowering would disturb a piece held by another player";
-            }
-        }
-    }
-    z_top = null;
-    for (const pe of plan) {
-        if (pe.z_top != null)
-            z_top = pe.z_top;
-        let z_bot = pe.z_bot;
-        let zrange = wasm_bindgen.range(z_bot, z_top, pe.content.length);
-        console.log('LOQER PLAN PE', pe, z_bot, z_top, pe.content.length, zrange.debug());
-        for (const e of pe.content) {
-            let p = e.p;
-            piece_set_zlevel(e.piece, p, (oldtop_piece) => {
-                let z = zrange.next();
-                p.z = z;
-                api_piece(api, "setz", e.piece, e.p, { z });
-            });
-        }
-    }
-    return null;
-}
-keyops_local['wrest'] = function (uo) {
-    wresting = !wresting;
-    document.getElementById('wresting-warning').innerHTML = !wresting ? "" :
-        " (wresting mode!)";
-    ungrab_all();
-    recompute_keybindings();
-};
-keyops_local['pin'] = function (uo) {
-    if (!lower_targets(uo))
-        return;
-    pin_unpin(uo, true);
-};
-keyops_local['unpin'] = function (uo) {
-    pin_unpin(uo, false);
-};
-function pin_unpin(uo, newpin) {
-    for (let piece of uo.targets) {
-        let p = pieces[piece];
-        p.pinned = newpin;
-        api_piece(api, 'pin', piece, p, newpin);
-        redisplay_ancillaries(piece, p);
-    }
-    recompute_keybindings();
-}
-var DRAGGING;
-(function (DRAGGING) {
-    DRAGGING[DRAGGING["NO"] = 0] = "NO";
-    DRAGGING[DRAGGING["MAYBE_GRAB"] = 1] = "MAYBE_GRAB";
-    DRAGGING[DRAGGING["MAYBE_UNGRAB"] = 2] = "MAYBE_UNGRAB";
-    DRAGGING[DRAGGING["YES"] = 4] = "YES";
-    DRAGGING[DRAGGING["RAISED"] = 8] = "RAISED";
-})(DRAGGING || (DRAGGING = {}));
-;
-var drag_pieces = [];
-var dragging = DRAGGING.NO;
-var dcx;
-var dcy;
-const DRAGTHRESH = 5;
-function drag_add_piece(piece, p) {
-    drag_pieces.push({
-        piece: piece,
-        dox: parseFloat(p.uelem.getAttributeNS(null, "x")),
-        doy: parseFloat(p.uelem.getAttributeNS(null, "y")),
-    });
-}
-function some_mousedown(e) {
-    console.log('mousedown', e, e.clientX, e.clientY, e.target);
-    if (e.button != 0) {
-        return;
-    }
-    if (e.altKey) {
-        return;
-    }
-    if (e.metaKey) {
-        return;
-    }
-    if (e.ctrlKey) {
-        return;
-    }
-    else {
-        drag_mousedown(e, e.shiftKey);
-    }
-}
-function drag_mousedown(e, shifted) {
-    var target = e.target; // we check this just now!
-    var piece = target.dataset.piece;
-    if (!piece) {
-        if (!shifted) {
-            ungrab_all();
-        }
-        return;
-    }
-    let p = pieces[piece];
-    let held = p.held;
-    drag_cancel();
-    drag_pieces = [];
-    if (held == us) {
-        dragging = DRAGGING.MAYBE_UNGRAB;
-        drag_add_piece(piece, p); // contrive to have this one first
-        for (let tpiece of Object.keys(pieces)) {
-            if (tpiece == piece)
-                continue;
-            let tp = pieces[tpiece];
-            if (tp.held != us)
-                continue;
-            drag_add_piece(tpiece, tp);
-        }
-    }
-    else if (held == null || wresting) {
-        // xxx prevent clicking on anything that is occulting, unless wresting
-        if (!shifted) {
-            ungrab_all();
-        }
-        if (p.pinned && !wresting) {
-            add_log_message('That piece is pinned to the table.');
-            return;
-        }
-        dragging = DRAGGING.MAYBE_GRAB;
-        drag_add_piece(piece, p);
-        set_grab(piece, p, us);
-        api_piece(api, wresting ? 'wrest' : 'grab', piece, p, {});
-    }
-    else {
-        add_log_message('That piece is held by another player.');
-        return;
-    }
-    dcx = e.clientX;
-    dcy = e.clientY;
-    window.addEventListener('mousemove', drag_mousemove, true);
-    window.addEventListener('mouseup', drag_mouseup, true);
-}
-function ungrab_all() {
-    for (let tpiece of Object.keys(pieces)) {
-        let tp = pieces[tpiece];
-        if (tp.held == us) {
-            set_ungrab(tpiece, tp);
-            api_piece(api, 'ungrab', tpiece, tp, {});
-        }
-    }
-}
-function set_grab(piece, p, owner) {
-    p.held = owner;
-    redisplay_ancillaries(piece, p);
-    recompute_keybindings();
-}
-function set_ungrab(piece, p) {
-    p.held = null;
-    redisplay_ancillaries(piece, p);
-    recompute_keybindings();
-}
-function clear_halo(piece, p) {
-    p.last_seen_moved = null;
-    redisplay_ancillaries(piece, p);
-}
-function ancillary_node(piece, stroke) {
-    var nelem = document.createElementNS(svg_ns, 'use');
-    nelem.setAttributeNS(null, 'href', '#surround' + piece);
-    nelem.setAttributeNS(null, 'stroke', stroke);
-    nelem.setAttributeNS(null, 'fill', 'none');
-    return nelem;
-}
-function redisplay_ancillaries(piece, p) {
-    let href = '#surround' + piece;
-    console.log('REDISPLAY ANCILLARIES', href);
-    for (let celem = p.pelem.firstElementChild; celem != null; celem = nextelem) {
-        var nextelem = celem.nextElementSibling;
-        let thref = celem.getAttributeNS(null, "href");
-        if (thref == href) {
-            celem.remove();
-        }
-    }
-    let halo_colour = null;
-    if (p.cseq_updatesvg != null) {
-        halo_colour = 'purple';
-    }
-    else if (p.last_seen_moved != null) {
-        halo_colour = 'yellow';
-    }
-    else if (p.held != null && p.pinned) {
-        halo_colour = '#8cf';
-    }
-    if (halo_colour != null) {
-        let nelem = ancillary_node(piece, halo_colour);
-        if (p.held != null) {
-            nelem.setAttributeNS(null, 'stroke-width', '2px');
-        }
-        p.pelem.prepend(nelem);
-    }
-    if (p.held != null) {
-        let da = players[p.held].dasharray;
-        let nelem = ancillary_node(piece, held_surround_colour);
-        nelem.setAttributeNS(null, 'stroke-dasharray', da);
-        p.pelem.appendChild(nelem);
-    }
-}
-function drag_mousemove(e) {
-    var ctm = space.getScreenCTM();
-    var ddx = (e.clientX - dcx) / (ctm.a * firefox_bug_zoom_factor_compensation);
-    var ddy = (e.clientY - dcy) / (ctm.d * firefox_bug_zoom_factor_compensation);
-    var ddr2 = ddx * ddx + ddy * ddy;
-    if (!(dragging & DRAGGING.YES)) {
-        if (ddr2 > DRAGTHRESH) {
-            dragging |= DRAGGING.YES;
-        }
-    }
-    //console.log('mousemove', ddx, ddy, dragging);
-    if (dragging & DRAGGING.YES) {
-        console.log('DRAG PIECES', drag_pieces);
-        for (let dp of drag_pieces) {
-            console.log('DRAG PIECES PIECE', dp);
-            let tpiece = dp.piece;
-            let tp = pieces[tpiece];
-            var x = Math.round(dp.dox + ddx);
-            var y = Math.round(dp.doy + ddy);
-            tp.uelem.setAttributeNS(null, "x", x + "");
-            tp.uelem.setAttributeNS(null, "y", y + "");
-            tp.queued_moves++;
-            api_piece(api_delay, 'm', tpiece, tp, [x, y]);
-        }
-        if (!(dragging & DRAGGING.RAISED) && drag_pieces.length == 1) {
-            let dp = drag_pieces[0];
-            let piece = dp.piece;
-            let p = pieces[piece];
-            let dragraise = +p.pelem.dataset.dragraise;
-            if (dragraise > 0 && ddr2 >= dragraise * dragraise) {
-                dragging |= DRAGGING.RAISED;
-                console.log('CHECK RAISE ', dragraise, dragraise * dragraise, ddr2);
-                piece_set_zlevel(piece, p, (oldtop_piece) => {
-                    let oldtop_p = pieces[oldtop_piece];
-                    let z = wasm_bindgen.increment(oldtop_p.z);
-                    p.z = z;
-                    api_piece(api, "setz", piece, p, { z: z });
-                });
-            }
-        }
-    }
-    return ddr2;
-}
-function drag_mouseup(e) {
-    console.log('mouseup', dragging);
-    let ddr2 = drag_mousemove(e);
-    drag_end();
-}
-function drag_end() {
-    if (dragging == DRAGGING.MAYBE_UNGRAB ||
-        (dragging & ~DRAGGING.RAISED) == (DRAGGING.MAYBE_GRAB | DRAGGING.YES)) {
-        let dp = drag_pieces[0];
-        let piece = dp.piece;
-        let p = pieces[piece];
-        set_ungrab(piece, p);
-        api_piece(api, 'ungrab', piece, p, {});
-    }
-    drag_cancel();
-}
-function drag_cancel() {
-    window.removeEventListener('mousemove', drag_mousemove, true);
-    window.removeEventListener('mouseup', drag_mouseup, true);
-    dragging = DRAGGING.NO;
-    drag_pieces = [];
-}
-messages.AddPlayer = function (j) {
-    players[j.player] = j.data;
-    player_info_pane_set(j);
-};
-messages.RemovePlayer = function (j) {
-    delete players[j.player];
-    player_info_pane_set(j);
-};
-function player_info_pane_set(j) {
-    document.getElementById('player_list')
-        .innerHTML = j.new_info_pane;
-}
-messages.SetLinks = function (msg) {
-    if (msg.length != 0 && layout == 'Portrait') {
-        msg += " |";
-    }
-    links_elem.innerHTML = msg;
-};
-// ----- logs -----
-messages.Log = function (j) {
-    add_timestamped_log_message(j.when, j.logent.html);
-};
-function add_log_message(msg_html) {
-    add_timestamped_log_message('', msg_html);
-}
-function add_timestamped_log_message(ts_html, msg_html) {
-    var lastent = log_elem.lastElementChild;
-    var in_scrollback = lastent == null ||
-        // inspired by
-        //   https://stackoverflow.com/questions/487073/how-to-check-if-element-is-visible-after-scrolling/21627295#21627295
-        // rejected
-        //   https://developer.mozilla.org/en-US/docs/Web/API/Intersection_Observer_API
-        (() => {
-            let le_top = lastent.getBoundingClientRect().top;
-            let le_bot = lastent.getBoundingClientRect().bottom;
-            let ld_bot = logscroll_elem.getBoundingClientRect().bottom;
-            console.log("ADD_LOG_MESSAGE bboxes: le t b, bb", le_top, le_bot, ld_bot);
-            return 0.5 * (le_bot + le_top) > ld_bot;
-        })();
-    console.log('ADD LOG MESSAGE ', in_scrollback, layout, msg_html);
-    var ne;
-    function add_thing(elemname, cl, html) {
-        var ie = document.createElement(elemname);
-        ie.innerHTML = html;
-        ie.setAttribute("class", cl);
-        ne.appendChild(ie);
-    }
-    if (layout == 'Portrait') {
-        ne = document.createElement('tr');
-        add_thing('td', 'logmsg', msg_html);
-        add_thing('td', 'logts', ts_html);
-    }
-    else if (layout == 'Landscape') {
-        ts_html = last_log_ts.update(ts_html);
-        ne = document.createElement('div');
-        add_thing('span', 'logts', ts_html);
-        ne.appendChild(document.createElement('br'));
-        add_thing('span', 'logmsg', msg_html);
-        ne.appendChild(document.createElement('br'));
-    }
-    else {
-        throw 'bad layout ' + layout;
-    }
-    log_elem.appendChild(ne);
-    if (!in_scrollback) {
-        logscroll_elem.scrollTop = logscroll_elem.scrollHeight;
-    }
-}
-// ----- zoom -----
-function zoom_pct() {
-    let str = zoom_val.value;
-    let val = parseFloat(str);
-    if (isNaN(val)) {
-        return undefined;
-    }
-    else {
-        return val;
-    }
-}
-function zoom_enable() {
-    zoom_btn.disabled = (zoom_pct() === undefined);
-}
-function zoom_activate() {
-    let pct = zoom_pct();
-    if (pct !== undefined) {
-        let fact = pct * 0.01;
-        let last_ctm_a = space.getScreenCTM().a;
-        document.getElementsByTagName('body')[0]
-            .style.transform = 'scale(' + fact + ',' + fact + ')';
-        if (fact != last_zoom_factor) {
-            if (last_ctm_a == space.getScreenCTM().a) {
-                console.log('FIREFOX GETSCREENCTM BUG');
-                firefox_bug_zoom_factor_compensation = fact;
-            }
-            else {
-                console.log('No firefox getscreenctm bug');
-                firefox_bug_zoom_factor_compensation = 1.0;
-            }
-            last_zoom_factor = fact;
-        }
-    }
-    zoom_btn.disabled = true;
-}
-function handle_piece_update(j) {
-    console.log('PIECE UPDATE ', j);
-    var piece = j.piece;
-    var m = j.op;
-    var k = Object.keys(m)[0];
-    let p = pieces[piece];
-    pieceops[k](piece, p, m[k]);
-}
-;
-messages.Piece = handle_piece_update;
-pieceops.ModifyQuiet = function (piece, p, info) {
-    console.log('PIECE UPDATE MODIFY QUIET ', piece, info);
-    piece_modify(piece, p, info, false);
-};
-pieceops.Modify = function (piece, p, info) {
-    console.log('PIECE UPDATE MODIFY LOuD ', piece, info);
-    piece_note_moved(piece, p);
-    piece_modify(piece, p, info, false);
-};
-piece_error_handlers.PosOffTable = function () { return true; };
-piece_error_handlers.Conflict = function () { return true; };
-function piece_modify(piece, p, info, conflict_expected) {
-    p.delem.innerHTML = info.svg;
-    p.pelem = piece_element('piece', piece);
-    p.uelem.setAttributeNS(null, "x", info.pos[0] + "");
-    p.uelem.setAttributeNS(null, "y", info.pos[1] + "");
-    p.held = info.held;
-    p.pinned = info.pinned;
-    p.angle = info.angle;
-    p.uos = info.uos;
-    piece_set_zlevel(piece, p, (oldtop_piece) => {
-        p.z = info.z;
-        p.zg = info.zg;
-    });
-    piece_checkconflict_nrda(piece, p, conflict_expected);
-    redisplay_ancillaries(piece, p);
-    recompute_keybindings();
-    console.log('MODIFY DONE');
-}
-/*
-pieceops.Insert = function
-(piece: PieceId, p: null,
- info: { svg: string, held: PlayerId, pos: Pos, z: number, zg: Generation}) {
-  console.log('PIECE UPDATE INSERT ',piece,info)
-  delem = document.createElementNS(svg_ns,'defs');
-  delem.setAttributeNS(null,'id','defs'+piece);
-  delem.innerHTML = info.svg;
-  space.appendChild(delem);
-  pelem =
-
-  nelem.setAttributeNS(null,'stroke',stroke);
-  nelem.setAttributeNS(null,'fill','none');
-*/
-function piece_set_zlevel(piece, p, modify) {
-    // Calls modify, which should set .z and/or .gz, and/or
-    // make any necessary API call.
-    //
-    // Then moves uelem to the right place in the DOM.  This is done
-    // by assuming that uelem ought to go at the end, so this is
-    // O(new depth), which is right (since the UI for inserting
-    // an object is itself O(new depth) UI operations to prepare.
-    let oldtop_elem = defs_marker.previousElementSibling;
-    let oldtop_piece = oldtop_elem.dataset.piece;
-    modify(oldtop_piece);
-    let ins_before = defs_marker;
-    let earlier_elem;
-    for (;; ins_before = earlier_elem) {
-        earlier_elem = ins_before.previousElementSibling;
-        if (earlier_elem == pieces_marker)
-            break;
-        if (earlier_elem == p.uelem)
-            continue;
-        let earlier_p = pieces[earlier_elem.dataset.piece];
-        if (!piece_z_before(p, earlier_p))
-            break;
-    }
-    if (ins_before != p.uelem)
-        space.insertBefore(p.uelem, ins_before);
-}
-function piece_note_moved(piece, p) {
-    let now = performance.now();
-    let need_redisplay = p.last_seen_moved == null;
-    p.last_seen_moved = now;
-    if (need_redisplay)
-        redisplay_ancillaries(piece, p);
-    let cutoff = now - 1000.;
-    while (movements.length > 0 && movements[0].this_motion < cutoff) {
-        let mr = movements.shift();
-        if (mr.p.last_seen_moved != null &&
-            mr.p.last_seen_moved < cutoff) {
-            mr.p.last_seen_moved = null;
-            redisplay_ancillaries(mr.piece, mr.p);
-        }
-    }
-    movements.push({ piece: piece, p: p, this_motion: now });
-}
-function piece_z_before(a, b) {
-    if (a.z < b.z)
-        return true;
-    if (a.z > b.z)
-        return false;
-    if (a.zg < b.zg)
-        return true;
-    if (a.zg > b.zg)
-        return false;
-    return false;
-}
-pieceops.Move = function (piece, p, info) {
-    piece_checkconflict_nrda(piece, p, false);
-    piece_note_moved(piece, p);
-    p.uelem.setAttributeNS(null, "x", info[0] + "");
-    p.uelem.setAttributeNS(null, "y", info[1] + "");
-};
-pieceops.SetZLevel = function (piece, p, info) {
-    piece_note_moved(piece, p);
-    piece_set_zlevel(piece, p, (oldtop_piece) => {
-        let oldtop_p = pieces[oldtop_piece];
-        p.z = info.z;
-        p.zg = info.zg;
-    });
-};
-messages.Recorded = function (j) {
-    let piece = j.piece;
-    let p = pieces[piece];
-    piece_recorded_cseq(p, j);
-    if (p.cseq_updatesvg != null && j.cseq >= p.cseq_updatesvg) {
-        p.cseq_updatesvg = null;
-        redisplay_ancillaries(piece, p);
-    }
-    if (j.svg != null) {
-        p.delem.innerHTML = j.svg;
-        p.pelem = piece_element('piece', piece);
-        redisplay_ancillaries(piece, p);
-    }
-    if (j.zg != null) {
-        var zg_new = j.zg; // type narrowing doesn't propagate :-/
-        piece_set_zlevel(piece, p, (oldtop_piece) => {
-            p.zg = zg_new;
-        });
-    }
-};
-function piece_recorded_cseq(p, j) {
-    if (p.cseq != null && j.cseq >= p.cseq) {
-        p.cseq = null;
-    }
-}
-messages.RecordedUnpredictable = function (j) {
-    let piece = j.piece;
-    let p = pieces[piece];
-    piece_recorded_cseq(p, j);
-    piece_modify(piece, p, j.ns, false);
-};
-messages.Error = function (m) {
-    console.log('ERROR UPDATE ', m);
-    var k = Object.keys(m)[0];
-    update_error_handlers[k](m[k]);
-};
-update_error_handlers.PieceOpError = function (m) {
-    let piece = m.state.piece;
-    let p = pieces[piece];
-    console.log('ERROR UPDATE PIECE ', m, p);
-    if (p == null)
-        return;
-    let conflict_expected = piece_error_handlers[m.error](piece, p, m);
-    handle_piece_update(m.state);
-};
-function piece_checkconflict_nrda(piece, p, conflict_expected) {
-    if (p.cseq != null) {
-        p.cseq = null;
-        if (drag_pieces.some(function (dp) { return dp.piece == piece; })) {
-            console.log('drag end due to conflict');
-            drag_end();
-        }
-        if (!conflict_expected) {
-            add_log_message('Conflict! - simultaneous update');
-        }
-    }
-    return false;
-}
-function test_swap_stack() {
-    let old_bot = pieces_marker.nextElementSibling;
-    let container = old_bot.parentElement;
-    container.insertBefore(old_bot, defs_marker);
-    window.setTimeout(test_swap_stack, 1000);
-}
-function startup() {
-    console.log('STARTUP');
-    console.log(wasm_bindgen.setup("OK"));
-    var body = document.getElementById("main-body");
-    zoom_btn = document.getElementById("zoom-btn");
-    zoom_val = document.getElementById("zoom-val");
-    links_elem = document.getElementById("links");
-    ctoken = body.dataset.ctoken;
-    us = body.dataset.us;
-    gen = +body.dataset.gen;
-    let sse_url_prefix = body.dataset.sseUrlPrefix;
-    status_node = document.getElementById('status');
-    status_node.innerHTML = 'js-done';
-    log_elem = document.getElementById("log");
-    logscroll_elem = document.getElementById("logscroll") || log_elem;
-    let dataload = JSON.parse(body.dataset.load);
-    held_surround_colour = dataload.held_surround_colour;
-    players = dataload.players;
-    delete body.dataset.load;
-    uos_node = document.getElementById("uos");
-    space = svg_element('space');
-    pieces_marker = svg_element("pieces_marker");
-    defs_marker = svg_element("defs_marker");
-    svg_ns = space.getAttribute('xmlns');
-    for (let uelem = pieces_marker.nextElementSibling; uelem != defs_marker; uelem = uelem.nextElementSibling) {
-        let piece = uelem.dataset.piece;
-        let p = JSON.parse(uelem.dataset.info);
-        p.uelem = uelem;
-        p.delem = piece_element('defs', piece);
-        p.pelem = piece_element('piece', piece);
-        p.queued_moves = 0;
-        delete uelem.dataset.info;
-        pieces[piece] = p;
-        redisplay_ancillaries(piece, p);
-    }
-    last_log_ts = wasm_bindgen.timestamp_abbreviator(dataload.last_log_ts);
-    var es = new EventSource(sse_url_prefix + "/_/updates?ctoken=" + ctoken + '&gen=' + gen);
-    es.onmessage = function (event) {
-        console.log('GOTEVE', event.data);
-        var k;
-        var m;
-        try {
-            var [tgen, ms] = JSON.parse(event.data);
-            for (m of ms) {
-                k = Object.keys(m)[0];
-                messages[k](m[k]);
-            }
-            gen = tgen;
-            gen_update_hook();
-        }
-        catch (exc) {
-            var s = exc.toString();
-            string_report_error('exception handling update '
-                + k + ': ' + JSON.stringify(m) + ': ' + s);
-        }
-    };
-    es.addEventListener('commsworking', function (event) {
-        console.log('GOTDATA', event.data);
-        status_node.innerHTML = event.data;
-    });
-    es.addEventListener('player-gone', function (event) {
-        console.log('PLAYER-GONE', event);
-        status_node.innerHTML = event.data;
-        add_log_message('You are no longer in the game');
-        space.removeEventListener('mousedown', some_mousedown);
-        document.removeEventListener('keydown', some_keydown);
-        es.close();
-    });
-    es.addEventListener('updates-expired', function (event) {
-        console.log('UPDATES-EXPIRED', event);
-        string_report_error('connection to server interrupted too long');
-    });
-    es.onerror = function (e) {
-        console.log('FOO', e, es);
-        json_report_error({
-            updates_error: e,
-            updates_event_source: es,
-            updates_event_source_ready: es.readyState,
-            update_oe: e.className,
-        });
-    };
-    recompute_keybindings();
-    space.addEventListener('mousedown', some_mousedown);
-    document.addEventListener('keydown', some_keydown);
-}
-var wasm_promise;
-;
-function doload() {
-    console.log('DOLOAD');
-    globalinfo_elem = document.getElementById('global-info');
-    layout = globalinfo_elem.dataset.layout;
-    var elem = document.getElementById('loading_token');
-    var ptoken = elem.dataset.ptoken;
-    xhr_post_then('/_/session/' + layout, JSON.stringify({ ptoken: ptoken }), loaded);
-    wasm_promise = wasm_input
-        .then(wasm_bindgen);
-}
-function loaded(xhr) {
-    console.log('LOADED');
-    var body = document.getElementById('loading_body');
-    wasm_promise.then((got_wasm) => {
-        wasm = got_wasm;
-        body.outerHTML = xhr.response;
-        startup();
-    });
-}
-// todo scroll of log messages to bottom did not always work somehow
-//    think I have fixed this with approximation
-doload();
diff --git a/server dummy - alice - Otter_files/wasm.js b/server dummy - alice - Otter_files/wasm.js
deleted file mode 100644
index 9a9f9a7a..00000000
--- a/server dummy - alice - Otter_files/wasm.js	
+++ /dev/null
@@ -1,370 +0,0 @@
-let wasm_bindgen;
-(function() {
-    const __exports = {};
-    let wasm;
-
-    let cachedTextDecoder = new TextDecoder('utf-8', { ignoreBOM: true, fatal: true });
-
-    cachedTextDecoder.decode();
-
-    let cachegetUint8Memory0 = null;
-    function getUint8Memory0() {
-        if (cachegetUint8Memory0 === null || cachegetUint8Memory0.buffer !== wasm.memory.buffer) {
-            cachegetUint8Memory0 = new Uint8Array(wasm.memory.buffer);
-        }
-        return cachegetUint8Memory0;
-    }
-
-    function getStringFromWasm0(ptr, len) {
-        return cachedTextDecoder.decode(getUint8Memory0().subarray(ptr, ptr + len));
-    }
-
-    const heap = new Array(32).fill(undefined);
-
-    heap.push(undefined, null, true, false);
-
-    let heap_next = heap.length;
-
-    function addHeapObject(obj) {
-        if (heap_next === heap.length) heap.push(heap.length + 1);
-        const idx = heap_next;
-        heap_next = heap[idx];
-
-        heap[idx] = obj;
-        return idx;
-    }
-
-function getObject(idx) { return heap[idx]; }
-
-function dropObject(idx) {
-    if (idx < 36) return;
-    heap[idx] = heap_next;
-    heap_next = idx;
-}
-
-function takeObject(idx) {
-    const ret = getObject(idx);
-    dropObject(idx);
-    return ret;
-}
-
-let WASM_VECTOR_LEN = 0;
-
-let cachedTextEncoder = new TextEncoder('utf-8');
-
-const encodeString = (typeof cachedTextEncoder.encodeInto === 'function'
-    ? function (arg, view) {
-    return cachedTextEncoder.encodeInto(arg, view);
-}
-    : function (arg, view) {
-    const buf = cachedTextEncoder.encode(arg);
-    view.set(buf);
-    return {
-        read: arg.length,
-        written: buf.length
-    };
-});
-
-function passStringToWasm0(arg, malloc, realloc) {
-
-    if (realloc === undefined) {
-        const buf = cachedTextEncoder.encode(arg);
-        const ptr = malloc(buf.length);
-        getUint8Memory0().subarray(ptr, ptr + buf.length).set(buf);
-        WASM_VECTOR_LEN = buf.length;
-        return ptr;
-    }
-
-    let len = arg.length;
-    let ptr = malloc(len);
-
-    const mem = getUint8Memory0();
-
-    let offset = 0;
-
-    for (; offset < len; offset++) {
-        const code = arg.charCodeAt(offset);
-        if (code > 0x7F) break;
-        mem[ptr + offset] = code;
-    }
-
-    if (offset !== len) {
-        if (offset !== 0) {
-            arg = arg.slice(offset);
-        }
-        ptr = realloc(ptr, len, len = offset + arg.length * 3);
-        const view = getUint8Memory0().subarray(ptr + offset, ptr + len);
-        const ret = encodeString(arg, view);
-
-        offset += ret.written;
-    }
-
-    WASM_VECTOR_LEN = offset;
-    return ptr;
-}
-
-function isLikeNone(x) {
-    return x === undefined || x === null;
-}
-
-let cachegetInt32Memory0 = null;
-function getInt32Memory0() {
-    if (cachegetInt32Memory0 === null || cachegetInt32Memory0.buffer !== wasm.memory.buffer) {
-        cachegetInt32Memory0 = new Int32Array(wasm.memory.buffer);
-    }
-    return cachegetInt32Memory0;
-}
-
-let stack_pointer = 32;
-
-function addBorrowedObject(obj) {
-    if (stack_pointer == 1) throw new Error('out of js stack');
-    heap[--stack_pointer] = obj;
-    return stack_pointer;
-}
-/**
-* @param {any} packed
-*/
-__exports.check = function(packed) {
-    try {
-        wasm.check(addBorrowedObject(packed));
-    } finally {
-        heap[stack_pointer++] = undefined;
-    }
-};
-
-/**
-* @param {any} packed
-* @returns {any}
-*/
-__exports.increment = function(packed) {
-    try {
-        var ret = wasm.increment(addBorrowedObject(packed));
-        return takeObject(ret);
-    } finally {
-        heap[stack_pointer++] = undefined;
-    }
-};
-
-/**
-* @returns {any}
-*/
-__exports.def_zcoord = function() {
-    var ret = wasm.def_zcoord();
-    return takeObject(ret);
-};
-
-/**
-* @param {any} a
-* @param {any} b
-* @param {number} count
-* @returns {ZCoordIterator}
-*/
-__exports.range = function(a, b, count) {
-    try {
-        var ret = wasm.range(addBorrowedObject(a), addBorrowedObject(b), count);
-        return ZCoordIterator.__wrap(ret);
-    } finally {
-        heap[stack_pointer++] = undefined;
-        heap[stack_pointer++] = undefined;
-    }
-};
-
-/**
-* @param {string} j
-* @returns {TimestampAbbreviator}
-*/
-__exports.timestamp_abbreviator = function(j) {
-    var ret = wasm.timestamp_abbreviator(addHeapObject(j));
-    return TimestampAbbreviator.__wrap(ret);
-};
-
-/**
-* @param {number} angle
-* @returns {string}
-*/
-__exports.angle_transform = function(angle) {
-    var ret = wasm.angle_transform(angle);
-    return takeObject(ret);
-};
-
-/**
-* @param {string} s
-* @returns {string}
-*/
-__exports.setup = function(s) {
-    var ptr0 = passStringToWasm0(s, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
-    var len0 = WASM_VECTOR_LEN;
-    var ret = wasm.setup(ptr0, len0);
-    return takeObject(ret);
-};
-
-/**
-*/
-class TimestampAbbreviator {
-
-    static __wrap(ptr) {
-        const obj = Object.create(TimestampAbbreviator.prototype);
-        obj.ptr = ptr;
-
-        return obj;
-    }
-
-    free() {
-        const ptr = this.ptr;
-        this.ptr = 0;
-
-        wasm.__wbg_timestampabbreviator_free(ptr);
-    }
-    /**
-    * @param {string} now
-    * @returns {string}
-    */
-    update(now) {
-        try {
-            var ret = wasm.timestampabbreviator_update(this.ptr, addBorrowedObject(now));
-            return takeObject(ret);
-        } finally {
-            heap[stack_pointer++] = undefined;
-        }
-    }
-}
-__exports.TimestampAbbreviator = TimestampAbbreviator;
-/**
-*/
-class ZCoordIterator {
-
-    static __wrap(ptr) {
-        const obj = Object.create(ZCoordIterator.prototype);
-        obj.ptr = ptr;
-
-        return obj;
-    }
-
-    free() {
-        const ptr = this.ptr;
-        this.ptr = 0;
-
-        wasm.__wbg_zcoorditerator_free(ptr);
-    }
-    /**
-    * @returns {any}
-    */
-    next() {
-        var ret = wasm.zcoorditerator_next(this.ptr);
-        return takeObject(ret);
-    }
-    /**
-    * @returns {any}
-    */
-    debug() {
-        var ret = wasm.zcoorditerator_debug(this.ptr);
-        return takeObject(ret);
-    }
-}
-__exports.ZCoordIterator = ZCoordIterator;
-
-async function load(module, imports) {
-    if (typeof Response === 'function' && module instanceof Response) {
-
-        if (typeof WebAssembly.instantiateStreaming === 'function') {
-            try {
-                return await WebAssembly.instantiateStreaming(module, imports);
-
-            } catch (e) {
-                if (module.headers.get('Content-Type') != 'application/wasm') {
-                    console.warn("`WebAssembly.instantiateStreaming` failed because your server does not serve wasm with `application/wasm` MIME type. Falling back to `WebAssembly.instantiate` which is slower. Original error:\n", e);
-
-                } else {
-                    throw e;
-                }
-            }
-        }
-
-        const bytes = await module.arrayBuffer();
-        return await WebAssembly.instantiate(bytes, imports);
-
-    } else {
-
-        const instance = await WebAssembly.instantiate(module, imports);
-
-        if (instance instanceof WebAssembly.Instance) {
-            return { instance, module };
-
-        } else {
-            return instance;
-        }
-    }
-}
-
-async function init(input) {
-    if (typeof input === 'undefined') {
-        let src;
-        if (typeof document === 'undefined') {
-            src = location.href;
-        } else {
-            src = document.currentScript.src;
-        }
-        input = src.replace(/\.js$/, '_bg.wasm');
-    }
-    const imports = {};
-    imports.wbg = {};
-    imports.wbg.__wbindgen_string_new = function(arg0, arg1) {
-        var ret = getStringFromWasm0(arg0, arg1);
-        return addHeapObject(ret);
-    };
-    imports.wbg.__wbindgen_is_null = function(arg0) {
-        var ret = getObject(arg0) === null;
-        return ret;
-    };
-    imports.wbg.__wbg_new_59cb74e423758ede = function() {
-        var ret = new Error();
-        return addHeapObject(ret);
-    };
-    imports.wbg.__wbg_stack_558ba5917b466edd = function(arg0, arg1) {
-        var ret = getObject(arg1).stack;
-        var ptr0 = passStringToWasm0(ret, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
-        var len0 = WASM_VECTOR_LEN;
-        getInt32Memory0()[arg0 / 4 + 1] = len0;
-        getInt32Memory0()[arg0 / 4 + 0] = ptr0;
-    };
-    imports.wbg.__wbg_error_4bb6c2a97407129a = function(arg0, arg1) {
-        try {
-            console.error(getStringFromWasm0(arg0, arg1));
-        } finally {
-            wasm.__wbindgen_free(arg0, arg1);
-        }
-    };
-    imports.wbg.__wbindgen_object_drop_ref = function(arg0) {
-        takeObject(arg0);
-    };
-    imports.wbg.__wbindgen_string_get = function(arg0, arg1) {
-        const obj = getObject(arg1);
-        var ret = typeof(obj) === 'string' ? obj : undefined;
-        var ptr0 = isLikeNone(ret) ? 0 : passStringToWasm0(ret, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
-        var len0 = WASM_VECTOR_LEN;
-        getInt32Memory0()[arg0 / 4 + 1] = len0;
-        getInt32Memory0()[arg0 / 4 + 0] = ptr0;
-    };
-    imports.wbg.__wbindgen_throw = function(arg0, arg1) {
-        throw new Error(getStringFromWasm0(arg0, arg1));
-    };
-    imports.wbg.__wbindgen_rethrow = function(arg0) {
-        throw takeObject(arg0);
-    };
-
-    if (typeof input === 'string' || (typeof Request === 'function' && input instanceof Request) || (typeof URL === 'function' && input instanceof URL)) {
-        input = fetch(input);
-    }
-
-    const { instance, module } = await load(await input, imports);
-
-    wasm = instance.exports;
-    init.__wbindgen_wasm_module = module;
-
-    return wasm;
-}
-
-wasm_bindgen = Object.assign(init, __exports);
-
-})();