def saveMap(self, name, file_name): ''' Save the specified map to file file_name ''' ds.saveMap(name, file_name); return