Jacob Heun a8219e61a0
fix: catch pipe errors (#678)
* fix: catch pipe errors

There were some pipe errors not being caught. This can result in unhandled exceptions being thrown

* fix: catch pipe errors in identify push handler
2020-06-18 15:33:08 +02:00
..
2020-06-18 15:33:08 +02:00
2020-06-18 15:33:08 +02:00
2020-05-28 12:37:48 +02:00
2020-06-18 15:33:08 +02:00
2020-05-28 12:37:48 +02:00
2020-05-28 12:37:48 +02:00
2020-06-18 15:33:08 +02:00