diff -r ba90aa6f7007 -r b231bb47de1b src/base/inifile.hh
--- a/src/base/inifile.hh	Mon Aug 25 14:32:00 2014 -0500
+++ b/src/base/inifile.hh	Wed Sep 10 08:51:41 2014 +0100
@@ -192,6 +192,9 @@
     /// @return True if the section exists.
     bool sectionExists(const std::string &section) const;
 
+    /// Push all section names into the given vector
+    void getSectionNames(std::vector<std::string> &list) const;
+
     /// Print unreferenced entries in object.  Iteratively calls
     /// printUnreferend() on all the constituent sections.
     bool printUnreferenced();
diff -r ba90aa6f7007 -r b231bb47de1b src/base/inifile.cc
--- a/src/base/inifile.cc	Mon Aug 25 14:32:00 2014 -0500
+++ b/src/base/inifile.cc	Wed Sep 10 08:51:41 2014 +0100
@@ -280,6 +280,16 @@
 }
 
 
+void
+IniFile::getSectionNames(vector<string> &list) const
+{
+    for (SectionTable::const_iterator i = table.begin();
+         i != table.end(); ++i)
+    {
+        list.push_back((*i).first);
+    }
+}
+
 bool
 IniFile::printUnreferenced()
 {
@@ -307,7 +317,6 @@
     return unref;
 }
 
-
 void
 IniFile::Section::dump(const string &sectionName)
 {