You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
TODO: check grepl return using both / or \\ separators
if (grepl("\ ", workspace_path)) {
stop(paste0("Space into workspace is not supported. Please copy ",
"the content of workspace folder in a path without space."))
}
The text was updated successfully, but these errors were encountered:
plecharpent
changed the title
checking JavaStics workspace may fail on Windows even if there is no space in it
gen_usms_xml2txt: checking JavaStics workspace may fail on Windows even if there is no space in it
Nov 29, 2023
TODO: check grepl return using both / or \\ separators
The text was updated successfully, but these errors were encountered: