--- a/eric7/WebBrowser/GreaseMonkey/GreaseMonkeyDownloader.py Thu Jun 16 18:28:59 2022 +0200 +++ b/eric7/WebBrowser/GreaseMonkey/GreaseMonkeyDownloader.py Fri Jun 17 16:36:14 2022 +0200 @@ -8,8 +8,9 @@ """ import os +import pathlib -from PyQt6.QtCore import pyqtSignal, pyqtSlot, QObject, QSettings, QFileInfo +from PyQt6.QtCore import pyqtSignal, pyqtSlot, QObject, QSettings from PyQt6.QtNetwork import QNetworkReply, QNetworkRequest from WebBrowser.WebBrowserWindow import WebBrowserWindow @@ -125,8 +126,7 @@ self.__reply.request().url().toString()) if not self.__fileName: name = ( - QFileInfo(self.__reply.request().url().path()) - .fileName() + pathlib.Path(self.__reply.request().url().path()).name ) if not name: name = "require.js" @@ -137,7 +137,7 @@ from WebBrowser.Tools import WebBrowserTools self.__fileName = WebBrowserTools.ensureUniqueFilename( filePath, "{0}") - if not QFileInfo(self.__fileName).isAbsolute(): + if not pathlib.Path(self.__fileName).is_absolute(): self.__fileName = os.path.join( self.__manager.requireScriptsDirectory(), self.__fileName) @@ -150,6 +150,6 @@ return settings.setValue(self.__reply.request().url().toString(), - QFileInfo(self.__fileName).fileName()) + pathlib.Path(self.__fileName).name) self.finished.emit(self.__fileName)