diff options
| author | Martin Braun <martin.braun@kit.edu> | 2013-02-21 10:38:26 +0100 |
|---|---|---|
| committer | Martin Braun <martin.braun@kit.edu> | 2013-02-21 10:38:26 +0100 |
| commit | 61b90a54cd5b5d452585669498ad2bf692b6e543 (patch) | |
| tree | 75abfe12e76257b2b12b51b4c4986261d79e8b59 /gnuradio-core/src/lib/general/gr_prefs.h | |
| parent | 3b12bc5b360ced033cc45f795dc514dfe99f1588 (diff) | |
| parent | 45c9daa0a7b7dc2316607aa3762e268ce1793dce (diff) | |
Merge branch 'master' of git://github.com/gnuradio/gnuradio into grmodtool
Diffstat (limited to 'gnuradio-core/src/lib/general/gr_prefs.h')
| -rw-r--r-- | gnuradio-core/src/lib/general/gr_prefs.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gnuradio-core/src/lib/general/gr_prefs.h b/gnuradio-core/src/lib/general/gr_prefs.h index b1c354bd35..90d6027411 100644 --- a/gnuradio-core/src/lib/general/gr_prefs.h +++ b/gnuradio-core/src/lib/general/gr_prefs.h @@ -24,6 +24,7 @@ #include <gr_core_api.h> #include <string> +#include <gruel/thread.h> /*! * \brief Base class for representing user preferences a la windows INI files. @@ -39,6 +40,7 @@ public: static gr_prefs *singleton(); static void set_singleton(gr_prefs *p); + gr_prefs(); virtual ~gr_prefs(); /*! @@ -78,6 +80,14 @@ public: virtual double get_double(const std::string section, const std::string option, double default_val); + + protected: + virtual std::vector<std::string> _sys_prefs_filenames(); + virtual void _read_files(); + + private: + gruel::mutex d_mutex; + std::string d_configs; }; |