projects
/
arvados.git
/ blobdiff
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
16159: Merge branch 'master' into 16159-token-expiration-on-logout
[arvados.git]
/
services
/
fuse
/
arvados_fuse
/
unmount.py
diff --git
a/services/fuse/arvados_fuse/unmount.py
b/services/fuse/arvados_fuse/unmount.py
index 1f06d8c91cf21608e02ddab7ae3bdd63d8ee45f2..dbfea1f90449cb14f3c12df15e6b37001b131bcc 100644
(file)
--- a/
services/fuse/arvados_fuse/unmount.py
+++ b/
services/fuse/arvados_fuse/unmount.py
@@
-6,6
+6,7
@@
import collections
import errno
import os
import subprocess
import errno
import os
import subprocess
+import sys
import time
import time