From 86fcce928c562dd7f14ccf4d6833db8736120dba Mon Sep 17 00:00:00 2001
From: Steven Armstrong <steven@icarus.ethz.ch>
Date: Thu, 13 Oct 2011 13:31:42 +0200
Subject: [PATCH] implement list_global_explorer_names

Signed-off-by: Steven Armstrong <steven@icarus.ethz.ch>
---
 lib/cdist/core/explorer.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/lib/cdist/core/explorer.py b/lib/cdist/core/explorer.py
index b86054c7..562683f4 100644
--- a/lib/cdist/core/explorer.py
+++ b/lib/cdist/core/explorer.py
@@ -76,6 +76,10 @@ class Explorer(object):
 
     ### global
 
+    def list_global_explorer_names(self):
+        """Return a list of global explorer names."""
+        return os.listdir(self.local.global_explorer_path)
+
     def transfer_global_explorers(self):
         """Transfer the global explorers to the remote side."""
         self.remote.mkdir(self.remote.global_explorer_path)