如何用Python判断一个文件是否被占用？