chiark / gitweb /
seems to be able to do a thing
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 11 Jul 2020 19:32:25 +0000 (20:32 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 11 Jul 2020 19:32:25 +0000 (20:32 +0100)
templates/script.ts

index c64bc05214b98ada3fd7004378ba97671923a521..609f3dd256a108a6eddd31bc66e0713b31e4e714 100644 (file)
@@ -217,7 +217,7 @@ function set_grab(piece: PieceId, p: PieceInfo, owner: PlayerId) {
   p.pelem.appendChild(nelem);
 }
 function set_ungrab(piece: PieceId, p: PieceInfo) {
-  p.gplayer = "";
+  p.gplayer = null;
   piece_cleanup_grab(piece,p);
 }
 function piece_cleanup_grab(piece: PieceId, p: PieceInfo) {