allow plugins to become cmd modules

1 files changed, 3 insertions, 1 deletions

diff --git a/boot.php b/boot.php
index 9d41abec4..f1edf798e 100644
--- a/boot.php
+++ b/boot.php
@@ -195,7 +195,7 @@ class App {
 	public  $hooks;
 	public  $timezone;
 	public  $interactive = true;
-
+	public  $plugins;
 
 	private $scheme;
 	private $hostname;
@@ -478,6 +478,8 @@ function check_config(&$a) {
 	if($plugins)
 		$plugins_arr = explode(',',str_replace(' ', '',$plugins));
 
+	$a->plugins = $plugins_arr;
+
 	$installed_arr = array();
 
 	if(count($installed)) {