/* Then, check if the file exists. */
if (!@file_exists($filename) ) {
/* First, check the $data_dir for the default preference file. */
- $default_pref = $data_dir . '/default_pref';
+ if(substr($data_dir,-1) != '/') {
+ $data_dir .= '/';
+ }
+ $default_pref = $data_dir . 'default_pref';
/* If it is not there, check the internal data directory. */
if (!@file_exists($default_pref)) {