fix(peelword): handle spaces after quotes better

tecosaur · Jul 16, 2023 · ede2593 · ede2593
1 parent a937ade
commit ede2593
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/src/interaction/repl.jl b/src/interaction/repl.jl
@@ -643,12 +643,17 @@ function peelword(input::AbstractString; allowdot::Bool=true)
     else # Starts with " and at least two " in `input`.
         start = findfirst(!isspace, input)::Int
         stop = nextind(input, start)
+        maxstop = lastindex(input)
         word = Char[]
-        while input[stop] != '"' && stop <= lastindex(input)
+        while input[stop] != '"' && stop <= maxstop
             push!(word, input[stop + Int(input[stop] == '\\')])
             stop = nextind(input, stop, 1 + Int(input[stop] == '\\'))
         end
-        (String(word), input[stop+1:end])
+        stop = nextind(input, stop)
+        if stop <= maxstop && isspace(input[stop])
+            stop = nextind(input, stop)
+        end
+        (String(word), input[stop:end])
     end
 end