From b7aab8b8d24a331f56588936db75de2f7bbcd85d Mon Sep 17 00:00:00 2001
From: Dan Stillman <dstillman@zotero.org>
Date: Thu, 13 Apr 2017 00:21:16 -0400
Subject: [PATCH] Don't break Zotero

---
 chrome/content/zotero/xpcom/uri.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/chrome/content/zotero/xpcom/uri.js b/chrome/content/zotero/xpcom/uri.js
index dac3b17bc9..19a2584910 100644
--- a/chrome/content/zotero/xpcom/uri.js
+++ b/chrome/content/zotero/xpcom/uri.js
@@ -123,7 +123,7 @@ Zotero.URI = new function () {
 	 * @return {Zotero.Library|false}
 	 */
 	this.getPathLibrary = function (path) {
-		let matches = path.match(/^\/\/?users\/(\d+));
+		let matches = path.match(/^\/\/?users\/(\d+)/);
 		if (matches) {
 			let userID = matches[1];
 			let currentUserID = Zotero.Users.getCurrentUserID();