The file name of the state file being written to. More...

The file name of the state file being written to.