public/js/util.js


1
2
3
4
5
6
7
8
9
10

function trim (s) {
	return s.replace(/^\s+/, "").replace(/\s+$/, "");
}
function sanitize (s) {
	return s.replace(/&/g, "&amp;").replace(/</g, "&lt;").replace(/>/g, "&gt;").replace(/\"/g, "&quot;");
}
function scrollToBottom (el) {
	try { $(el).scrollTop( $(el)[0].scrollHeight ) }
	catch (err) { }
}