#!/usr/bin/python
#
# This script is provided AS IS, without any warranty!
# Copyright lio@lunesu.com, placed in the public domain
#
import os
import _mysql
# open the mediawiki sql db
db = _mysql.connect("localhost","wikiuser","twin","wikidb")
db.query("SELECT cur_title,cur_text from cur where cur_namespace < 3;")
rs = db.use_result()
while 1:
    row = rs.fetch_row()
    if row == ():
        break
    filename = row[0][0]
    wiki = row[0][1]
    # convert mediawiki to tracwiki
    wiki = wiki.replace("\n***","\n   *")
    wiki = wiki.replace("\n**", "\n  *")
    wiki = wiki.replace("\n*",  "\n *")
    wiki = wiki.replace("[[","wiki:")
    wiki = wiki.replace("]]","")
    wiki = wiki.replace("<br>","[[BR]]")
    wiki = wiki.replace("\n:","\n ")
    # todo: change titles?
    # fixme: could use piping to import (no temp files)
    #os.system("trac-admin /tracroot/iv wiki remote" & filename)
    # write to file
    f = open( filename, "w")
    f.write( wiki )
    f.close
# import all wiki pages
os.system("trac-admin /tracroot/iv wiki load .")
# todo: remove files
db.close()