Exit from pywmii

Found a little bug in the default pywmii setup in that it does not have an action script for quiting! Pop the following in an executable file called 'exit' in $HOME/.wmii-3.5/

#!/usr/bin/env python

# Simple script to stop wmii

import wmii
mywmii=wmii.WMII()

mywmii.p9.write(wmii.WMII_CMD,'quit')