title: is there a way to "uninclude" a file with PHP?
body: <p>I'm working on a PHP IRC Bot, and I'm currently working on the commands.</p>
  
  <p>At the beginning of <code>main.php</code>, the script that starts the bot, it includes the <code>class_lib.php</code> file and instantiates the object of that class. I want to work on a <code>!reload</code> command, where it would "uninclude" the file and then reinclude it. Would that be possible, or would it be fine if I just <code>include</code>d it again when that command was sent?</p>
  
  <p><strong>EDIT:</strong> Basically, I want to be able to modify and reload the class without having to restart the bot.</p>