plugins/yubikey/usercp.php
changeset 3 d0fe7acaf0e8
parent 0 9d2c4f04a0d0
child 8 032ca892b9a2
--- a/plugins/yubikey/usercp.php	Thu Feb 26 01:19:45 2009 -0500
+++ b/plugins/yubikey/usercp.php	Thu Feb 26 11:30:17 2009 -0500
@@ -1,5 +1,8 @@
 <?php
 
+if ( getConfig('yubikey_enable', '1') != '1' )
+  return true;
+
 $plugins->attachHook("userprefs_jbox", "yubikey_ucp_setup();");
 $plugins->attachHook("userprefs_body", "return yubikey_user_cp(\$section);");
 $plugins->attachHook("login_form_html", "yubikey_inject_html_login();");