Refresh wenn inaktiv?

    Moin zusammen,

    ich hab jetzt schon eine Weile recherchiert, komme aber immer noch zu keinem Ergebnis. Gibt es evtl. eine Moeglichkeit, einzelne Websites gezielt refreshen zu lassen, wenn der User inaktiv ist? Der Timer sollte, sofern der User die Seite derzeit benutzt, ausgesetzt werden.


    Farewell,
    Mike

    Zitat von Coce

    Websites können mit Reload Every (Link) automatisch neu geladen werden.

    Richtig. Aber wenn der User sich beispielsweise grad ein PDF anschaut und just in diesem Moment der Timer auf die magischen 5 oder 15min faellt, fliegt dem User das PDF um die Ohren ;) - so als Beispiel.
    Gibt es da ein Plugin (oder auch eine andere Moeglichkeit), die die Aktivitaet des Users als Maß nimmt?


    Farewell,
    Mike

    ... allerdings werden mit Reload Every (Link) nicht gezielt bestimmte Webseiten neu geladen, sondern bestimmte Tabs. Ausserdem kann man diese Reload-Aktivität nur manuell de-/aktivieren; sie hängt nicht davon ab, ob ein Anwender (auf dieser Seite (Tab)) aktiv ist oder nicht.

    Ich kenne keine Lösung für die gewünschten Features.

    Have fun,
    NightHawk

    gleich mal vorab: Greasemonkey ist eine Firefox-Erweiterung, die es ermöglicht, eigene JavaScripte auf fremden Websites auszuführen.

    ich hab hier mal eben ein altes Greasemonkey-Script von mir angepasst: <a href="data:text/javascript;charset=utf-8,%2F%2F%20%3D%3DUserScript%3D%3D%0D%0A%2F%2F%20%40name%20%20%20%20%20%20%20%20%20%20Page%20Reloader%0D%0A%2F%2F%20%40description%20%20%20Refreshes%20the%20page%20after%20inactivity%0D%0A%2F%2F%20%40include%20%20%20%20%20%20%20*%0D%0A%2F%2F%20%40exclude%0D%0A%2F%2F%20%40namespace%20%20%20%20%20http%3A%2F%2Fmaltekraus.de%2FFirefox%2F%0D%0A%2F%2F%20%3D%3D%2FUserScript%3D%3D%0D%0A%0D%0A(function()%20%7B%0D%0A%20%20const%20DELAY%20%3D%2010%20*%2060%20*%201000%3B%20%2F%2F%2010%20minutes%20in%20milliseconds%0D%0A%0D%0A%20%20var%20lastaction%20%3D%20(new%20Date()).getTime()%3B%0D%0A%20%20setInterval(function%20check()%20%7B%0D%0A%20%20%20%20if(lastaction%20%2B%20DELAY%20%3C%20(new%20Date()).getTime())%20%7B%0D%0A%20%20%20%20%20%20location.reload()%3B%0D%0A%20%20%20%20%20%20lastaction%20%3D%20lastaction%20*%2010%3B%20%2F%2F%20give%20the%20browser%20time%20to%20load%20the%20page%0D%0A%20%20%20%20%7D%0D%0A%20%20%7D%2C%2030)%3B%0D%0A%20%20function%20updateTime()%20%7B%0D%0A%20%20%20%20lastaction%20%3D%20(new%20Date()).getTime()%3B%0D%0A%20%20%7D%0D%0A%20%20document.addEventListener(%22mousemove%22%2C%20updateTime%2C%20true)%3B%0D%0A%20%20document.addEventListener(%22mousedown%22%2C%20updateTime%2C%20true)%3B%0D%0A%20%20document.addEventListener(%22mouseup%22%2C%20%20%20%20%20updateTime%2C%20true)%3B%0D%0A%20%20document.addEventListener(%22keydown%22%2C%20%20%20%20%20updateTime%2C%20true)%3B%0D%0A%20%20document.addEventListener(%22keyup%22%2C%20%20%20%20%20%20%20%20%20updateTime%2C%20true)%3B%0D%0A%7D)()%3B%0D%0A%2F%2Fpagereloader.user.js">Installations-Link</a>

    Derzeit wird nach 10 Minuten nichts-tun aktualisiert. Wenn du mehr oder weniger willst, dann gehe nach der Installation des Scripts in die Einstellungen von Greasemonkey, wähle links das Script aus und klicke auf "Edit". Im Text-Editor deiner Wahl kannst du dann die Zeile, die mit "const DELAY..." begint anpassen. Die Angabe ist in Millisekunden, daher wird aus 10 Minuten 10 * 60 für die Sekunden, mal 1000 für die Millisekunden.