Henry Clifford
Henry Clifford
So looking around, I'm not sure this is a bug so to speak - It certainly would be useful to have this ability though.
any thoughts about this? would love to get it merged
I've got some code for this, it needs to be ported over to using an rtree for perf reasons, but it's got cooked in logic to avoid self-intersections, will tidy...
bumping this, thanks
any updates on this?
@IngmarStein yup saw it, hope you don't mind but I cribbed some code (main.go:41), while this does make it more reliable I also wanted to address the underlying cause (unclean...
nope, will dig in this week/end
nice, definitely like the move into Run() of the blocking operation, makes sense. Not sure about the for loop, don't we want to bail out in either the user killing...
It's definitely tricky haha, after using my PR version locally for a couple of weeks I've found there's _still_ a case where if the user kills dredd rapidly after starting...