mirrors/etherpad-lite
1
0
Fork 0
mirror of https://github.com/ether/etherpad-lite.git synced 2025-04-25 09:56:15 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions 9

socket.io: Reconnect if the server disconnects

Browse source 
This will make the pages gracefully handle HTTP server restart events,
which happen whenever a plugin is installed or uninstalled via the
`/admin/plugins` page.
This commit is contained in:
Richard Hansen 2020-12-14 02:50:52 -05:00
parent 303964c51e
commit 9f7d42185d
4 changed files with 36 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

15
src/static/js/admin/plugins.js
View file

@ -4,6 +4,11 @@
$(document).ready(() => {
const socket = socketio.connect('..', '/pluginfw/installer');
socket.on('disconnect', (reason) => {
// The socket.io client will automatically try to reconnect for all reasons other than "io
// server disconnect".
if (reason === 'io server disconnect') socket.connect();
});
const search = (searchTerm, limit) => {
if (search.searchTerm !== searchTerm) {
@ -253,10 +258,12 @@ $(document).ready(() => {
search.results = [];
});
// init
updateHandlers();
socket.emit('getInstalled');
search('');
socket.on('connect', () => {
updateHandlers();
socket.emit('getInstalled');
search.searchTerm = null;
search($('#search-query').val());
});
// check for updates every 5mins
setInterval(() => {

12
src/static/js/admin/settings.js
View file

@ -5,6 +5,16 @@
$(document).ready(() => {
const socket = socketio.connect('..', '/settings');
socket.on('connect', () => {
socket.emit('load');
});
socket.on('disconnect', (reason) => {
// The socket.io client will automatically try to reconnect for all reasons other than "io
// server disconnect".
if (reason === 'io server disconnect') socket.connect();
});
socket.on('settings', (settings) => {
/* Check whether the settings.json is authorized to be viewed */
if (settings.results === 'NOT_ALLOWED') {
@ -46,8 +56,6 @@ $(document).ready(() => {
$('#response').text(progress);
$('#response').fadeOut('slow');
});
socket.emit('load'); // Load the JSON from the server
});