]> git.plutz.net Git - shellwiki/commitdiff
Merge commit 'cfc3dbcd2e724953a001d0ad189df08072295d62'
authorPaul Hänsch <paul@plutz.net>
Tue, 15 Mar 2022 14:52:06 +0000 (15:52 +0100)
committerPaul Hänsch <paul@plutz.net>
Tue, 15 Mar 2022 14:52:06 +0000 (15:52 +0100)
cgilite/session.sh

index 8fb623639c14b372c7c88b98695b8edca24b1943..1f4699e441357303b4dd4b6e4daeff3af1bb47c8 100755 (executable)
@@ -136,5 +136,3 @@ SESSION_COOKIE() {
 }
 
 update_session || new_session
-
-[ "$1" = nocookie ] || SESSION_COOKIE