Make dpif_close() accept a null pointer.
authorBen Pfaff <blp@nicira.com>
Thu, 27 Nov 2008 00:07:56 +0000 (16:07 -0800)
committerBen Pfaff <blp@nicira.com>
Thu, 27 Nov 2008 06:25:39 +0000 (22:25 -0800)
commit12333d665075b5a1042bac3916ed0df00e549266
treef85d438c2ebe285adc5e6eed8ed1b141085e2285
parent58b3bc45e4513ec01b52a74d7a02c6e8de799823
Make dpif_close() accept a null pointer.

It's customary for destructor functions to accept and ignore null pointers.

This commit does not fix any known bug.
lib/dpif.c