Addresses #1027, User-customizable integration port number
Moved port setting to extensions.zotero.integration.port
This commit is contained in:
parent
4cfdee3fa0
commit
67b8fd5ff2
|
@ -42,7 +42,7 @@ Zotero.Integration = new function() {
|
||||||
|
|
||||||
try {
|
try {
|
||||||
// bind to a random port on loopback only
|
// bind to a random port on loopback only
|
||||||
serv.init(50001, true, -1);
|
serv.init(Zotero.Prefs.get('integration.port'), true, -1);
|
||||||
serv.asyncListen(Zotero.Integration.SocketListener);
|
serv.asyncListen(Zotero.Integration.SocketListener);
|
||||||
|
|
||||||
Zotero.debug("Integration HTTP server listening on 127.0.0.1:"+serv.port);
|
Zotero.debug("Integration HTTP server listening on 127.0.0.1:"+serv.port);
|
||||||
|
|
|
@ -66,6 +66,7 @@ pref("extensions.zotero.export.citePaperJournalArticleURL", false);
|
||||||
pref("extensions.zotero.export.quickCopy.setting", 'bibliography=http://www.zotero.org/styles/chicago-note');
|
pref("extensions.zotero.export.quickCopy.setting", 'bibliography=http://www.zotero.org/styles/chicago-note');
|
||||||
|
|
||||||
// Integration settings
|
// Integration settings
|
||||||
|
pref("extensions.zotero.integration.port", 50001);
|
||||||
pref("extensions.zotero.integration.autoRegenerate", -1); // -1 = ask; 0 = no; 1 = yes
|
pref("extensions.zotero.integration.autoRegenerate", -1); // -1 = ask; 0 = no; 1 = yes
|
||||||
|
|
||||||
// Annotation settings
|
// Annotation settings
|
||||||
|
|
Loading…
Reference in New Issue
Block a user