projects / horde.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 37825b8) | patch
Only destroy the session if we are actually running via the cli.
authorMichael J. Rubinsky <mrubinsk@horde.org>
Fri, 13 Nov 2009 14:30:30 +0000 (09:30 -0500)
committerMichael J. Rubinsky <mrubinsk@horde.org>
Fri, 13 Nov 2009 14:30:30 +0000 (09:30 -0500)
commit778778570869506ccec9470e15ba9f79c06912d0
treeb04b013906b61c2866a0317084f90d7c9731dffbtree | snapshot
parent37825b8bbe7a99e2810e2155aba261288827465dcommit | diff
Only destroy the session if we are actually running via the cli.
Bug: 8482 and also resolves Bug: 8701
framework/Cli/lib/Horde/Cli.php diff | blob | history
Unnamed repository; edit this file to name it for gitweb.