diff options
| author | Bai Shuai <baishuai.io@foxmail.com> | 2017-05-16 16:53:33 +0800 |
|---|---|---|
| committer | Bai Shuai <baishuai.io@foxmail.com> | 2017-05-16 16:53:33 +0800 |
| commit | 48d870ba3e6b9c9e7b4af9abd1dfd2c06a1653bd (patch) | |
| tree | 3c9438190812a5aa1aa41dff10bb4cebecbd46a8 | |
| parent | e9de07e8ee4b655f0f1796c1ff937b59de618361 (diff) | |
repro: quick return when user press ctrl^C
| -rw-r--r-- | repro/repro.go | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/repro/repro.go b/repro/repro.go index 00409533d..3fbc385c4 100644 --- a/repro/repro.go +++ b/repro/repro.go @@ -72,7 +72,14 @@ func Run(crashLog []byte, cfg *config.Config, vmIndexes []int) (*Result, error) defer wg.Done() for vmIndex := range ctx.bootRequests { var inst *instance - for try := 0; try < 3; try++ { + maxTry := 3 + for try := 0; try < maxTry; try++ { + select { + case <-vm.Shutdown: + try = maxTry + continue + default: + } vmCfg, err := config.CreateVMConfig(cfg, vmIndex) if err != nil { Logf(0, "reproducing crash '%v': failed to create VM config: %v", crashDesc, err) |
