--- a/src/eric7/RemoteServer/EricServerFileSystemRequestHandler.py Sat Feb 17 19:46:33 2024 +0100 +++ b/src/eric7/RemoteServer/EricServerFileSystemRequestHandler.py Sun Feb 18 12:23:14 2024 +0100 @@ -33,6 +33,7 @@ self.__server = server self.__requestMethodMapping = { + "GetPathSep": self.__getPathSeparator, "Chdir": self.__chdir, "Getcwd": self.__getcwd, "Listdir": self.__listdir, @@ -75,6 +76,17 @@ params={"Error": f"Request type '{request}' is not supported."}, ) + def __getPathSeparator(self, params): + """ + Private method to report the path separator. + + @param params dictionary containing the request data + @type dict + @return dictionary containing the reply data + @rtype dict + """ + return {"separator": os.sep} + def __chdir(self, params): """ Private method to change the current working directory.