[jhbuild] [terminal] add option to reload configuration

[Frederic Peters <fpeters src gnome org>]

commit 393f51faff525581fdaea3b2da3a7ebcda803b71
Author: Frederic Peters <fpeters 0d be>
Date:   Sun May 3 14:34:16 2009 +0200

    [terminal] add option to reload configuration
    
    New option in terminal mode to let the user reload the configuration file
    without aborting JHBuild.  (GNOME #368820)
---
 jhbuild/frontends/terminal.py |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)

diff --git a/jhbuild/frontends/terminal.py b/jhbuild/frontends/terminal.py
index cacc6c0..cfd4a4b 100644
--- a/jhbuild/frontends/terminal.py
+++ b/jhbuild/frontends/terminal.py
@@ -273,7 +273,8 @@ class TerminalBuildScript(buildscript.BuildScript):
             uprint(_('  [2] ignore error and continue to %s') % nextstate)
             uprint(_('  [3] give up on module'))
             uprint(_('  [4] start shell'))
-            nb_options = i = 5
+            uprint(_('  [5] reload configuration'))
+            nb_options = i = 6
             for altstate in altstates:
                 uprint(_('  [%d] go to stage %s') % (i, altstate))
                 i = i + 1
@@ -294,6 +295,8 @@ class TerminalBuildScript(buildscript.BuildScript):
                 uprint(_('exit shell to continue with build'))
                 os.system(user_shell)
                 os.chdir(cwd) # restor working directory
+            elif val == '5':
+                self.config.reload()
             else:
                 try:
                     val = int(val)