rizinorg/rz-pipe

Enable a timer for rzpipe in python

dgutson opened this issue · 1 comments

Sometimes, rizin commands may take too long. It would be good if we could set a timeout and kill rizin if it expires.

attaching a patch from @arieltorti which I will test
timeout.patch