The code for my tutorial on custom session handler for php