More probing, unify python code.

This commit is contained in:
Jelmer Vernooij 2021-03-17 16:29:02 +00:00
parent b15dbe7c02
commit 703d1cda94
No known key found for this signature in database
GPG key ID: 579C160D4C9E23E8
4 changed files with 87 additions and 97 deletions

View file

@ -20,7 +20,6 @@ import logging
import os
import shutil
import sys
import tempfile
import time
from typing import Optional