diff -r 2114cc7275e8 -r a596cf392291 src/eric7/RemoteServer/EricServerFileSystemRequestHandler.py
--- 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.
