PHP will delete the file for you so you dont need to worry about it. Im not sure when it deletes the file but i tihnk it could be when the session expires.