[tor-commits] [flashproxy/master] Add a --pidfile to crossdomaind.py.