/** returns the value for $string **/
function getPref($data_dir, $username, $string) {
$filename = "$data_dir$username.pref";
/** returns the value for $string **/
function getPref($data_dir, $username, $string) {
$filename = "$data_dir$username.pref";
function checkForPrefs($data_dir, $username) {
$filename = "$data_dir$username.pref";
if (!file_exists($filename)) {
function checkForPrefs($data_dir, $username) {
$filename = "$data_dir$username.pref";
if (!file_exists($filename)) {