tree 1f28523daa5de101c4f167bc45a29368d918110f
parent 06ca38494011408fb7e03265c808021e15e07a5f
author Dmitry Kovalev <dkovalev@google.com> 1550712900 -0800
committer Dmitry Kovalev <dkovalev@google.com> 1550776000 +0000

Add parameter to disable SIGINT handling from run_pipeline().

Change-Id: I47ad946f19aad0d1bdf06695d2ffce1027865a2c