# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1331780571 0
# Node ID 1ec8122ddffe7eaef7794c01de5906093ff9ab9a
# Parent  d8e56e6ac8d4d3d2c6ffe1550acd2c8bc56da54b
portmanager: Add get_registered_services() to the public API

diff -r d8e56e6ac8d4 -r 1ec8122ddffe core/portmanager.lua
--- a/core/portmanager.lua	Thu Mar 15 03:02:36 2012 +0000
+++ b/core/portmanager.lua	Thu Mar 15 03:02:51 2012 +0000
@@ -171,4 +171,8 @@
 	return active_services;
 end
 
+function get_registered_services()
+	return services;
+end
+
 return _M;