Allow for yet another crash symptom in 013_crash_restart.pl.
authorTom Lane <tgl@sss.pgh.pa.us>
Sun, 27 Jan 2019 03:12:48 +0000 (22:12 -0500)
committerTom Lane <tgl@sss.pgh.pa.us>
Sun, 27 Jan 2019 03:12:48 +0000 (22:12 -0500)
commitd6f6f0fc2d84906985b21d959622e4cab6f8f9b1
tree2370026661e92bc87d15b71122a97d7bce2b1d4c
parenta9c35cf85ca1ff72f16f0f10d7ddee6e582b62b8
Allow for yet another crash symptom in 013_crash_restart.pl.

Given the right timing, psql could emit "connection to server was lost"
rather than one of the other messages that this test script checked for.
It looks like commit 4247db625 may have made this more likely, but
I don't really believe it was impossible before then.  Rather than
stress about it, just add that spelling as one of the crash-successfully-
detected cases.

Discussion: https://postgr.es/m/19344.1548554028@sss.pgh.pa.us
src/test/recovery/t/013_crash_restart.pl