".htmlspecialchars($prefs->xml_doc).""; echo "Edit preferences:"; } else { $prefs->id = 0; $prefs->name = "default preferences"; $prefs->dont_run_on_batteries = 1; $prefs->dont_run_if_user_active = 1; $prefs->confirm_before_connecting = 0; echo "Create new preferences:"; } prefs_form($prefs); ?>