diff python/randomize.py @ 709:c24a1b531b7e

move isrunning to a shell script and kill killbyname since there is pkill nowadays
author Jeff Hammel <k0scist@gmail.com>
date Fri, 05 Sep 2014 14:55:11 -0700
parents 12299cbc45ee
children 08da6a1bb4c9
line wrap: on
line diff