diff options
| author | Johannes Schauer Marin Rodrigues <josch@mister-muffin.de> | 2023-01-08 10:36:00 +0100 |
|---|---|---|
| committer | Johannes Schauer Marin Rodrigues <josch@mister-muffin.de> | 2023-01-08 20:41:28 +0100 |
| commit | 8c488b7655b924066930b57b4a0d2ff8be4296b6 (patch) | |
| tree | 143eaa8022879b4752a8112f86c1951da4e47fe0 /debvm-run | |
| parent | f8e1cadb4ef1d63b1b7252d84b9e7234f55b2f6e (diff) | |
| download | debvm-8c488b7655b924066930b57b4a0d2ff8be4296b6.tar.gz | |
debvm-waitssh: error out if port number is not a positive integer
Diffstat (limited to 'debvm-run')
0 files changed, 0 insertions, 0 deletions