Source code for a tutorial on building a simple file server