diff options
-rwxr-xr-x | spice2 | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -207,7 +207,8 @@ def set_title(x): sys.stdout.write("\033]0;%s\007" % str(x)) def file_in_use(x): - return not os.system('lsof -t %s > /dev/null' % x) + return not subprocess.call(['lsof', '-t', x], + stdout=subprocess.PIPE, stderr=subprocess.PIPE) def oldness(f): if not os.path.exists(f): |