From 96a7c43cb5a880f56e7adcdb112f7358b122487b Mon Sep 17 00:00:00 2001 From: slawkens Date: Sat, 23 Oct 2021 14:32:42 +0200 Subject: [PATCH] Delete cookies.js was unused --- tools/cookies.js | 25 ------------------------- 1 file changed, 25 deletions(-) delete mode 100644 tools/cookies.js diff --git a/tools/cookies.js b/tools/cookies.js deleted file mode 100644 index d9dcecfb..00000000 --- a/tools/cookies.js +++ /dev/null @@ -1,25 +0,0 @@ -function getCookie(name) -{ - if (document.cookie.length>0) - { - c_start=document.cookie.indexOf(name + "="); - if (c_start!=-1) - { - c_start=c_start + name.length+1; - c_end=document.cookie.indexOf(";",c_start); - if (c_end==-1) c_end=document.cookie.length; - - return unescape(document.cookie.substring(c_start,c_end)); - } - } - - return ""; -} - -function setCookie(name, value, expireDays) -{ - var exdate=new Date(); - exdate.setDate(exdate.getDate()+expireDays); - document.cookie=name+ "=" +escape(value)+ - ((expireDays==null) ? "" : ";expires="+exdate.toGMTString()); -} \ No newline at end of file