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
{{ message }}
This repository has been archived by the owner on Jun 20, 2024. It is now read-only.
/** Method that should be used to fetch the file prefix, instead of accessing `prefix` directly. */
def pathPrefix: PathPrefix = prefix getOrElse PathUtil.removeExtension(in)
Should it instead pipe it to /dev/null? Throw an exception? Let it crash later?
I am logging this issue so I can think about it later.
The text was updated successfully, but these errors were encountered:
Sign up for freeto subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Currently it does this:
Should it instead pipe it to
/dev/null
? Throw an exception? Let it crash later?I am logging this issue so I can think about it later.
The text was updated successfully, but these errors were encountered: