python判断文件