Minor flagman cleanups (#442)

* Document disableflagman * Add disabled check, random cleanups
2017-05-28 17:39:44 -03:00
parent c0011891e6
commit 66cc8dcdaf
2 changed files with 21 additions and 15 deletions
--- a/configs/core.ini
+++ b/configs/core.ini
@ -40,3 +40,8 @@ max_binlog_size 20
 ; 2 - float comparisons
 ; 4 - float rounding
 optimizer 7
+
+; Admin commnand flag manager
+; 0 - enabled
+; 1 - disabled
+disableflagman 0