poke-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH v2 1/2] poke: fix handling of alien tokens


From: Mohammad-Reza Nabipoor
Subject: Re: [PATCH v2 1/2] poke: fix handling of alien tokens
Date: Wed, 1 Nov 2023 15:33:16 +0100

On Wed, Nov 01, 2023 at 03:07:57PM +0100, Jose E. Marchesi wrote:
> 
> > Then let's make $<> valid when we have a meaningful interpretation for that.
> > I'd suggest to use `id_len < 3' condition.
> > WDYT?
> 
> That is fine, but that is orthogonal to the behavior of pk_ios_search
> when it gets an empty string; that function can be invoked from other
> placess too.  So we need both things.
> 

Sure.
Fixed and pushed to master.
Thanks.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]