X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=server.ggo;h=6d824152d23165df92886d3059d0e6523cf339c1;hp=b64aaa3ca53deee1069ee2d88ef885f22d0debbe;hb=3e3b0dce3c7b301392f0a4fcbf8ac72bbc76b141;hpb=53d503ce75eb1d9439cfb75053d3cff4cbca6ff9

diff --git a/server.ggo b/server.ggo
index b64aaa3c..6d824152 100644
--- a/server.ggo
+++ b/server.ggo
@@ -124,14 +124,6 @@ option "announce_time" A
 	optional
 
 
-option "selector" S
-#~~~~~~~~~~~~~~~~~~
-
-"(default=random)"
-
-	string typestr="name"
-	optional
-
 #############################
 section "audio file selector"
 #############################
@@ -160,99 +152,16 @@ option "afs_initial_mode" i
 #~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 "Mood or playlist to load on startup. Must be
-prefixed with either 'p:' or 'm:' to indicate
+prefixed with either 'p/' or 'm/' to indicate
 whether a playlist or a mood should be
 loaded. Example:
-	--afs_initial_mode p:foo
+	--afs_initial_mode p/foo
 loads the playlist named 'foo'."
 
-	string typestr="name"
-	optional
-
-section "mysql selector"
-#~~~~~~~~~~~~~~~~~~~~~~~
-
-
-option "mysql_host" -
-#~~~~~~~~~~~~~~~~~~~~
-
-"mysql server"
-
-	string typestr="ip or hostname"
-	default="localhost"
-	optional
-
-option "mysql_port" -
-#~~~~~~~~~~~~~~~~~~~~
-
-"where mysql is listening"
-
-	int typestr="portnumber"
-	default="3306"
-	optional
-
-
-option "mysql_user" -
-#~~~~~~~~~~~~~~~~~~~~
-
-"default value: username from /etc/passwd"
-
-	string typestr="username"
-	optional
-
-option "mysql_passwd" -
-#~~~~~~~~~~~~~~~~~~~~~~
-
-"(required)"
-
-	string
-	optional
-
-option "mysql_database" -
-#~~~~~~~~~~~~~~~~~~~~~~~~
-
-"name of mysql database"
-
-	string
-	default="paraslash"
-	optional
-
-option "mysql_audio_file_dir"  -
-#~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-
-"dir to search for audio files (required)"
-
-	string typestr="dirname"
-	optional
-
-option "mysql_default_score" -
-#~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-
-"scoring rule to use if stream definition
-does not contain explicit score definition"
-
-	string
-	default="(LASTPLAYED() / 1440 - 1000 / (LASTPLAYED() + 1) - sqrt(NUMPLAYED()))"
-	optional
-
-
-
-
-section "random selector"
-#~~~~~~~~~~~~~~~~~~~~~~~~
-
-
-option "random_dir" -
-#~~~~~~~~~~~~~~~~~~~~
-
-"dir to search for audio files"
-	string typestr="dirname"
-	default="/home/music"
+	string typestr="<specifier>/<name>"
 	optional
 
 
-
-
 section "http sender"
 #~~~~~~~~~~~~~~~~~~~~