diff options
author | Jan Holesovsky <kendy@suse.cz> | 2010-12-09 12:48:57 +0100 |
---|---|---|
committer | Jan Holesovsky <kendy@suse.cz> | 2010-12-09 12:48:57 +0100 |
commit | de09480929be4ad1bb6b731183732cfd3338407f (patch) | |
tree | 03cd56203f3886da04adcc9accdb6bba5f107854 /helpcontent2/help-to-wiki.py | |
parent | bc2c698b7ca4f515ab142c4e1da1fcd43fa2d573 (diff) |
wikihelp: Fix handling of listitems, and the paragraphs in them. fdo#32174
Diffstat (limited to 'helpcontent2/help-to-wiki.py')
-rwxr-xr-x | helpcontent2/help-to-wiki.py | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/helpcontent2/help-to-wiki.py b/helpcontent2/help-to-wiki.py index 05a5a074e5..ee4e628694 100755 --- a/helpcontent2/help-to-wiki.py +++ b/helpcontent2/help-to-wiki.py @@ -1,6 +1,6 @@ #!/usr/bin/env python -import sys, os, getopt +import sys, os, getopt, signal sys.path.append(sys.path[0]+"/to-wiki") import wikiconv2 @@ -65,7 +65,13 @@ for opt, arg in opts: elif opt in ('-r', '--redirects'): generate_redirects = True +def signal_handler(signal, frame): + sys.stderr.write( 'Exiting...\n' ) + sys.exit(1) + # Do the work +signal.signal(signal.SIGINT, signal_handler) + create_wiki_dirs() print "Generating the titles..." |