+ need_populate_pmodmap = False
+ try:
+ DB.execute("select count(pmod) from pmodmap")
+ try:
+ DB.execute("select count(tstamp) from pmodmap")
+ except OperationalError:
+ need_populate_pmodmap = True
+ DB.execute("alter table pmodmap rename to old_pmodmap")
+ except OperationalError:
+ pass # DB was empty