diff options
| -rw-r--r-- | code/fm.rb | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/code/fm.rb b/code/fm.rb index 67d6829d..ba33279a 100644 --- a/code/fm.rb +++ b/code/fm.rb @@ -77,8 +77,11 @@ module Fm end def reload_types() + old_verbose_level = $VERBOSE + $VERBOSE = nil load 'data/types.rb' load 'data/apps.rb' + $VERBOSE = old_verbose_level end def boot_up(pwd=nil) |