
<html><head><style type="text/css"><!-- DIV {margin:0px;} --></style></head><body><div style="font-family:times new roman, new york, times, serif;font-size:12pt"><div>Hi All,<br><br>Here is a patch that goes through and sets a lot of pointers to NULL after they are freed. Please remember to do this, otherwise some nasty bugs can arise. It's much better to crash on a null pointer.<br><br>Note that I only took care of a few files here, there are still thousands more of these to be fixed.<br><br>Thanks,<br>Andrew<br></div></div></body></html>