diff options
| author | Teddy Wing | 2017-11-12 15:35:19 +0100 |
|---|---|---|
| committer | Teddy Wing | 2017-11-12 15:35:19 +0100 |
| commit | 0f13ad70e2f0be72b19e44fed5b3bfef48d56879 (patch) | |
| tree | ac54bf0f0a8d52ef53bdb575ee784d6b71504661 /src/pull_request.rs | |
| parent | f5740b97cecd2a2984e274fb5fbd141675e3be24 (diff) | |
| download | kipper-0f13ad70e2f0be72b19e44fed5b3bfef48d56879.tar.bz2 | |
main(): Use user-supplied port
Remove the hard-coded port and use the one passed in via command line
option (or the default one).
Diffstat (limited to 'src/pull_request.rs')
0 files changed, 0 insertions, 0 deletions