X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=server.cmd;h=9d7c4b08875a4f07333e78fce92701fc307d0db6;hp=36553542f70b994099ddccd73a30c424794b70ff;hb=d91503e10df0e16b80f6f8490fbfe6d817e78d81;hpb=4c034f8d2e17a35b8f94408996a0bd1de4a2533a

diff --git a/server.cmd b/server.cmd
index 36553542..9d7c4b08 100644
--- a/server.cmd
+++ b/server.cmd
@@ -1,3 +1,10 @@
+FN: server_command_list
+HC: prototypes for the server command handlers
+CC: array of server commands
+AT: server_command
+AN: server_cmds
+IN: server user_list
+---
 N: chs
 P: DB_READ | DB_WRITE
 D: change the current audio file selector
@@ -5,7 +12,7 @@ S: chs [new_selector]
 H: Shutdown the current selector and activate new_selector. If no
 H: argument was given, print the name of the current selector.
 ---
-N: ff:
+N: ff
 P: VSS_READ | VSS_WRITE
 D: jmp amount of time forwards or backwards in current audio file
 S: ff n[-]
@@ -67,7 +74,7 @@ S: pause
 H: Clear the 'P' (playing) bit of the vss status flags.
 ---
 N: play
-P: VSS_READ | VSS_WRITE,
+P: VSS_READ | VSS_WRITE
 D: start playing or resume playing when paused
 S: play
 H: Set the 'P' (playing) bit of the vss status flags. This