FileChooser filename format


I’m writing a python Paraview reader plugin, i have the following method in my reader class

@smhint.filechooser(extensions="vtx", file_description="My files")
    def SetFileName(self, name):
         self._filename = name
         print("Loading file " + name)

When it comes to load the file in my specficic process (loadX) i realized the name is simple backslashed string, which is tricky to transform as a double backslashed string.
For example i get the string d:\tmp\export.vtk and not d:\\tmp\\export.vtk.
I tried using re package and string.replace but without success. All filestream operations need a double bakslashed file name.

Any idea ? Thanks for helping.