Commit 750a2294553d252e28875b605fe61fd9d6696e0f

Behdad Esfahbod 2010-05-20T16:23:27

get_table() is allowed to return NULL. Use that to simplify code