- Renamed GlobalSettings to GlobalPreferences

git-svn-id: svn://svn.gna.org/svn/sgpemv2/trunk@621 3ecf2c5c-341e-0410-92b4-d18e462d057c
This commit is contained in:
elvez 2006-06-12 14:04:06 +00:00
parent 65ed285807
commit 1706119e4d
5 changed files with 16 additions and 16 deletions

View file

@ -34,7 +34,7 @@
#include "backend/process.hh"
#include "backend/policy.hh"
#include "backend/policy_parameters.hh"
#include "backend/global_settings.hh"
#include "backend/global_preferences.hh"
#include "standard_io.hh"
#include "text_simulation.hh"
@ -63,8 +63,8 @@ static void load_pyloader_plugin() {
// Leaks willingly:
Module* pyloader = 0;
GlobalSettings::dir_iterator it = GlobalSettings::instance().modules_dir_begin();
while(it != GlobalSettings::instance().modules_dir_end()) {
GlobalPreferences::dir_iterator it = GlobalPreferences::instance().modules_dir_begin();
while(it != GlobalPreferences::instance().modules_dir_end()) {
std::string pyloader_path = Module::build_path(*it, "pyloader");
pyloader = new Module(pyloader_path);
if(*pyloader) break;