Fix write-to-disk option for dev server.

Fix write-to-disk option for dev server. #5710