Tue, 31 May 2022 23:45:33 +0200 | Manuel Jacob | py3: catch ProcessLookupError instead of checking errno == ESRCH | changeset | files |
Tue, 31 May 2022 23:41:15 +0200 | Manuel Jacob | py3: catch PermissionError instead of checking errno == EPERM | changeset | files |
Tue, 31 May 2022 23:38:51 +0200 | Manuel Jacob | py3: catch PermissionError instead of checking errno == EACCES | changeset | files |