From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 3 Jan 2021 10:43:30 +0000 (+0000)
Subject: Rename ViewPublic to ViewNotSecret
X-Git-Tag: otter-0.2.0~44
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=7d924d06acf6542818308d6289906f9d36f3c042;p=otter.git

Rename ViewPublic to ViewNotSecret

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

diff --git a/daemon/cmdlistener.rs b/daemon/cmdlistener.rs
index bb1ecec7..5a397c20 100644
--- a/daemon/cmdlistener.rs
+++ b/daemon/cmdlistener.rs
@@ -366,7 +366,7 @@ fn execute_game_insn<'cs, 'igr, 'ig: 'igr>(
        ig)
     },
 
-    Insn::ListPieces => readonly(cs,ag,ig, &[TP::ViewPublic], |ig|{
+    Insn::ListPieces => readonly(cs,ag,ig, &[TP::ViewNotSecret], |ig|{
       let pieces = ig.gs.pieces.iter().map(|(piece,p)|{
         let &PieceState { pos, face, .. } = p;
         let pinfo = ig.ipieces.get(piece)?;
@@ -414,7 +414,7 @@ fn execute_game_insn<'cs, 'igr, 'ig: 'igr>(
        Fine, ig)
     },
 
-    Insn::Info => readonly(cs,ag,ig, &[TP::ViewPublic], |ig|{
+    Insn::Info => readonly(cs,ag,ig, &[TP::ViewNotSecret], |ig|{
       let players = ig.gs.players.iter().map(
         |(player, gpl)| {
           let nick = gpl.nick.clone();
diff --git a/src/bin/otter.rs b/src/bin/otter.rs
index fb95544c..ccac6d44 100644
--- a/src/bin/otter.rs
+++ b/src/bin/otter.rs
@@ -620,7 +620,7 @@ fn connect(ma: &MainOpts) -> Conn {
 
 const PLAYER_ALWAYS_PERMS : &[TablePermission] = &[
   TP::TestExistence,
-  TP::ViewPublic,
+  TP::ViewNotSecret,
   TP::Play,
 ];
 
diff --git a/src/spec.rs b/src/spec.rs
index 41f95c52..ec8ab6a7 100644
--- a/src/spec.rs
+++ b/src/spec.rs
@@ -101,7 +101,7 @@ pub struct AclEntry<Perm: Eq + Hash> {
 #[derive(FromPrimitive,ToPrimitive)]
 pub enum TablePermission {
   TestExistence,
-  ViewPublic,
+  ViewNotSecret,
   Play,
   ChangePieces,
   ResetOthersAccess,