Fixed scheduler bug

This commit is contained in:
Anthony Scemama 2019-12-17 09:08:39 +01:00
parent 4e9d9f0da4
commit 2cc2d713bc
1 changed files with 1 additions and 1 deletions

View File

@ -17,7 +17,7 @@ let find () =
let scheduler =
[ "SLURM_NODELIST" ; "PE_HOSTFILE" ; "PBS_NODEFILE" ]
|> List.map (function x ->
try Some (Sys.getenv x) with
try ignore @@ (Sys.getenv x) ; Some x with
| Not_found -> None
)
|> List.hd