The file names (write-file-name, db-file-name, log-file-name, mirror-file-name) are strings containing operating system file names.

• 文件名(write-file-name,db-file-name,log-file-name,mirror-file-name)是包含操作系统文件名的字符串。