Bumped version to 7.1. (#690)

Added 'man propqueues' change to release notes. Fixed minor typo.
fuzzball-muck · May 4, 2023 · 14f0f5a · 14f0f5a
1 parent 29493ca
commit 14f0f5a
Show file tree

Hide file tree

Showing 7 changed files with 8 additions and 7 deletions.
diff --git a/docs/changesfb7 b/docs/changesfb7
@@ -46,6 +46,7 @@ Other changes
 Log messages for player creation and connection are now more detailed.
 @clone and COPYOBJ now only copy hidden properties in Wizard contexts.
 Manual @dumps now report a completion message to the requesting player.
+Listener documentation has evolved into the general 'man propqueues'.
 
 
 2.2Muck7.00

diff --git a/docs/help.txt b/docs/help.txt
@@ -1,4 +1,4 @@
-                 MUCK Reference Manual for Muck2.2fb7.00
+                 MUCK Reference Manual for Muck2.2fb7.10
                    by Revar Desmera <[email protected]>
 
 You may get a listing of topics that you can get help on, either sorted

diff --git a/docs/man.txt b/docs/man.txt
@@ -1,4 +1,4 @@
-                 MUF Reference Manual for Muck2.2fb7.00
+                 MUF Reference Manual for Muck2.2fb7.10
                    by Revar Desmera <[email protected]>
 
 You may get a listing of topics that you can get help on, either sorted
@@ -532,7 +532,7 @@ is run normally (i.e. checking the environment) starting from the
 player's old location and going up the environment tree from there.
 
   DISCONNECT:  _disconnect
-  ODISCONNECT: _disconnect
+  ODISCONNECT: _odisconnect
 
   Triggered when a player disconnects.  This is actually run after the
 player connection is dropped, so you won't be able to send a message

diff --git a/docs/mpihelp.txt b/docs/mpihelp.txt
@@ -1,4 +1,4 @@
-                 MPI Reference Manual for Muck2.2fb7.00
+                 MPI Reference Manual for Muck2.2fb7.10
                    by Revar Desmera <[email protected]>
 
 You may get a listing of topics that you can get help on, either sorted

diff --git a/docs/mufman.html b/docs/mufman.html
@@ -1032,7 +1032,7 @@ <h3 id="propqueues">Propqueues:
 <p>
   DISCONNECT:  _disconnect
 <p>
-  ODISCONNECT: _disconnect
+  ODISCONNECT: _odisconnect
 
 <p>
   Triggered when a player disconnects.  This is actually run after the

diff --git a/include/config.h b/include/config.h
@@ -19,7 +19,7 @@
 /**
  * Server version number
  */
-#define VERSION "Muck2.2fb7.00"
+#define VERSION "Muck2.2fb7.10"
 
 /************************************************************************
    Administrative Options

diff --git a/src/mufman.raw b/src/mufman.raw
@@ -295,7 +295,7 @@ is run normally (i.e. checking the environment) starting from the
 player's old location and going up the environment tree from there.
 
   DISCONNECT:  _disconnect
-  ODISCONNECT: _disconnect
+  ODISCONNECT: _odisconnect
 
   Triggered when a player disconnects.  This is actually run after the
 player connection is dropped, so you won't be able to send a message