Skip to content

Instantly share code, notes, and snippets.

<filter>
<filter-name>UTF8Filter</filter-name>
<filter-class>filters.UTF8Filter</filter-class>
</filter>
<filter-mapping>
<filter-name>UTF8Filter</filter-name>
<url-pattern>/*</url-pattern>
</filter-mapping>
// By default, getTimezoneOffset returns
// the time zone offset in minutes
setCookie("timezone", new Date().getTimezoneOffset()/60);
function setCookie(name, value, expires, path, domain, secure)
{
document.cookie= name + "=" + escape(value) +
((expires) ? "; expires=" +
expires.toGMTString() : "") +
((path) ? "; path=" + path : "") +
<ul class="pagination">
<li class="first"><a href="?offset=0" ><< First</a>&lt/li>
<li><a href="?offset=2" ><</a></li>
<li class="leader">Page 3 of 111</li>
<li><a href="?offset=1" >1</a></li>
<li><a href="?offset=2" >2</a></li>
<li><strong>3</strong></li>
<li><a href="?offset=4" >4</a></li>
<li><a href="?offset=5" >5</a></li>
<li><a href="?offset=6" >></a></li>
/* Pagination
--------------------------------- */
ul.paginaton {
list-style: none;
}
ul.pagination li {
font-size: smaller;
float: left;
Copyright <span id="copyright">2006</span>
// Make sure the copyright year is current i.e. if the year is 2007 then
// the copyright date becomes 2006-2007
function setCopyright(element)
{
var date = parseInt(element.innerText);
var year = new Date().getFullYear();
if(year > date)
element.innerText = date + "-" + year;
else
element.innerText = date;
setCopyright(document.getElementById("copyright"));
function saveReferrer()
{
if(location.href.indexOf('Update') == -1)
document.cookie = "referrer=" + document.referrer + "; path=/";
}
function getReferrer()
{
var nameEQ = "referrer=";
var ca = document.cookie.split(';');
for(var i=0;i
{
var c = ca[i];
while (c.charAt(0)==' ') c = c.substring(1,c.length);
if (c.indexOf(nameEQ) == 0) return c.substring(
nameEQ.length,c.length);
onclick="document.location.href = getReferrer();"