projects / horde.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 449988e) | patch
We need to wrap session_destroy() to avoid warnings if no session has been started.
authorJan Schneider <jan@horde.org>
Sat, 15 Aug 2009 08:26:05 +0000 (10:26 +0200)
committerJan Schneider <jan@horde.org>
Sat, 15 Aug 2009 08:26:05 +0000 (10:26 +0200)
commit61390c1f227fb1c6facdafe4ecf5aaae3ec89d32
treec6c41ece34443160984b03335767b59696ff2d03tree | snapshot
parent449988eca57b0fc80d937b814da8c75f561d739ecommit | diff
We need to wrap session_destroy() to avoid warnings if no session has been started.
framework/Cli/lib/Horde/Cli.php diff | blob | history
Unnamed repository; edit this file to name it for gitweb.