v4.1.2

• Avoid pruning files from scan list when a scan has been interrupted by a termination signal and aggressively flush scanning state file.
• Fix file descriptor and memory leaks on errors in miniSEED scanning.
• Remove use of inode values when tracking miniSEED files being scanned; storage layers, such as Docker mounts, render inode values inconsistent.
• Update Docker container instructions to illustrate and recommend using named volume for server state storage.