Hi Samuel,
On Mon, Nov 30, 2020 at 9:16 PM Samuel Laberge
wrote:
> I totally agree that would be simpler, I was just trying to match the
> other conditionals around that one. But if it's better as != then I'd be
> happy to change it!
Up to you, really, but yeah "!=" is my preference.
- Pekka
I did look at the original commit that implemented handling of signals
-
https://github.com/cloudius-systems/osv/commit/ee0e61834432def11b46631416f715a2eef2ae0b
- and I could not figure out what exact difference the author had in mind.
So I guess you are right that we do not need to do