+if [ ! -z "$outconf" ]; then
+ (
+ echo "#"
+ echo "# Produced automatically by brisk::INSTALL.sh"
+ echo "#"
+ echo "n_players=$n_players"
+ echo "brisk_debug=\"$brisk_debug\""
+ echo "web_path=\"$web_path\""
+ echo "ftok_path=\"$ftok_path\""
+ echo "proxy_path=\"$proxy_path\""
+ echo "legal_path=\"$legal_path\""
+ echo "cookie_path=\"$cookie_path\""
+ echo "web_only=\"$web_only\""
+ ) > "$outconf"
+fi