summaryrefslogtreecommitdiff
path: root/helpcontent2/help-to-wiki.py
diff options
context:
space:
mode:
authorJan Holesovsky <kendy@suse.cz>2010-12-09 12:48:57 +0100
committerJan Holesovsky <kendy@suse.cz>2010-12-09 12:48:57 +0100
commitde09480929be4ad1bb6b731183732cfd3338407f (patch)
tree03cd56203f3886da04adcc9accdb6bba5f107854 /helpcontent2/help-to-wiki.py
parentbc2c698b7ca4f515ab142c4e1da1fcd43fa2d573 (diff)
wikihelp: Fix handling of listitems, and the paragraphs in them. fdo#32174
Diffstat (limited to 'helpcontent2/help-to-wiki.py')
-rwxr-xr-xhelpcontent2/help-to-wiki.py8
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..."