--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/site.js	Thu Jun 23 23:38:03 2022 -0600
@@ -0,0 +1,33 @@
+
+function ajax(url,postData) {
+	let request = new XMLHttpRequest();
+	let method = postData ? 'POST' : 'GET';
+	request.open( method, url );
+	if( postData )
+		request.setRequestHeader( 'Content-Type', 'application/x-www-form-urlencoded' );
+	request.onload = function() {
+		if( request.status !== 200 ) {
+			window.console && console.log( 'ajax failed: ' + request.status );
+			if( request.responseText )
+				document.write('<pre>'+request.responseText+'</pre>');
+			return;
+		}
+		eval( request.responseText );
+	};
+	request.send(postData);
+}
+
+window.onerror = function(msg, url, line, col, error) {
+	if (!url)
+		return;
+	let err = msg;
+	err += '\nurl = ' + url;
+	if (url != window.location)
+		err += '\npage = ' + window.location;
+	err += '\nline = '+line;
+	if (col)
+		err += '\ncolumn = ' + col;
+	if (error && error.stack)
+		err += '\nstack = ' + error.stack;
+	ajax( '/error_log.js', 'err='+encodeURIComponent(err) );
+};