python判断文件是否被打开