Skip to content

Commit 1a659e7

Browse files
committed
Refactor
1 parent f1ab1bc commit 1a659e7

File tree

1 file changed

+2
-7
lines changed

1 file changed

+2
-7
lines changed

VSharp.ML.GameServer.Runner/Main.fs

Lines changed: 2 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -392,15 +392,10 @@ let main args =
392392
let args = parser.Parse args
393393
let mode = args.GetResult <@ Mode @>
394394

395-
let port =
396-
match args.TryGetResult <@ Port @> with
397-
| Some port -> port
398-
| None -> 8100
395+
let port = args.GetResult(Port, defaultValue = 8100)
399396

400397
let outputDirectory =
401-
match args.TryGetResult <@ OutFolder @> with
402-
| Some path -> path
403-
| None -> Path.Combine(Directory.GetCurrentDirectory(), string port)
398+
args.GetResult(OutFolder, defaultValue = Path.Combine(Directory.GetCurrentDirectory(), string port))
404399

405400
let cleanOutputDirectory () =
406401
if Directory.Exists outputDirectory then

0 commit comments

Comments
 (0)