# HG changeset patch
# User Waqas Hussain <waqas20@gmail.com>
# Date 1248529025 -18000
# Node ID 5c627d5d5e37877431c56637d8495bc02abd2be8
# Parent  edc066730d11d60fd7c312dea35affed968acb27
modulemanager: Added get_option(name, default_value) to plugin API

diff -r edc066730d11 -r 5c627d5d5e37 core/modulemanager.lua
--- a/core/modulemanager.lua	Fri Jul 24 01:34:25 2009 +0100
+++ b/core/modulemanager.lua	Sat Jul 25 18:37:05 2009 +0500
@@ -418,6 +418,10 @@
 	return f();
 end
 
+function api:get_option(name, default_value)
+	return config.get(self.host, self.name, name) or config.get(self.host, "core", name) or default_value;
+end
+
 --------------------------------------------------------------------
 
 local actions = {};