synchronization fixes in pyserver/pyexec