use SSL serial to bind certificate to user; implement autologin using SSL certificate; set a separate session cookie for SSL connections (refs #324)

1 files changed, 8 insertions, 0 deletions

diff --git a/prefs.js b/prefs.js
index 02d65bc41..ae2c9f785 100644
--- a/prefs.js
+++ b/prefs.js
@@ -1693,3 +1693,11 @@ function customizeCSS() {
 		exception_error("customizeCSS", e);
 	}
 }
+
+function insertSSLserial(value) {
+	try {
+		dijit.byId("SSL_CERT_SERIAL").attr('value', value);
+	} catch (e) {
+		exception_error("insertSSLcerial", e);
+	}
+}