r5101 redirectIfNecessary: fix PHP fatal error if $_SESSION structure is incorrect
authorAlexey Andriyanov <alan@al-an.info>
Thu, 7 Jun 2012 10:27:46 +0000 (10:27 +0000)
committerAlexey Andriyanov <alan@al-an.info>
Thu, 7 Jun 2012 10:27:46 +0000 (10:27 +0000)
commit727d68724f6c75b5bbdbc052db66d550f4084d32
tree69dcfc771dca6ecbc29c8b5c8042ec83fd929c4d
parent5a32ed6fc92dcd41e241844d78cfcc703a1f7a72
r5101 redirectIfNecessary: fix PHP fatal error if $_SESSION structure is incorrect
wwwroot/inc/functions.php