Gestern wurde die neue Version 0.13 des Firefox-Plugins "Nagios Checker" verröffentlicht. Nachdem ich diese installiert hatte, musste ich feststellen, dass die bisher im Menü des Plugins enthaltene Option "Jetzt aktualisieren" nicht mehr enthalten zu sein schien.
Nach einer Weile fiel mir dann jedoch auf, dass das Menü seltsamerweise wieder normal aussah und somit auch die Aktualisierungsoption wieder verfügbar war. Dies scheint jedoch generell erst nach dem zweiten Neustart von Firefox der Fall zu sein, da es auf einen anderen Rechner ebenfalls erst nach dem zweiten Neustart funktionierte.