diff options
Diffstat (limited to 'gnuradio-runtime/include/gnuradio/prefs.h')
| -rw-r--r-- | gnuradio-runtime/include/gnuradio/prefs.h | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/gnuradio-runtime/include/gnuradio/prefs.h b/gnuradio-runtime/include/gnuradio/prefs.h index 2fa6f86bc4..c908c04854 100644 --- a/gnuradio-runtime/include/gnuradio/prefs.h +++ b/gnuradio-runtime/include/gnuradio/prefs.h @@ -14,16 +14,11 @@ #include <gnuradio/api.h> #include <gnuradio/thread/thread.h> #include <map> +#include <mutex> #include <string> namespace gr { -typedef std::map<std::string, std::map<std::string, std::string>> config_map_t; -typedef std::map<std::string, std::map<std::string, std::string>>::iterator - config_map_itr; -typedef std::map<std::string, std::string> config_map_elem_t; -typedef std::map<std::string, std::string>::iterator config_map_elem_itr; - /*! * \brief Base class for representing user preferences a la windows INI files. * \ingroup misc @@ -52,8 +47,6 @@ public: */ prefs(); - virtual ~prefs(); - /*! * If specifying a file name, this opens that specific * configuration file of the standard form containing sections and @@ -155,7 +148,7 @@ protected: private: std::mutex d_mutex; - config_map_t d_config_map; + std::map<std::string, std::map<std::string, std::string>> d_config_map; }; } /* namespace gr */ |