| 670 | } |
| 671 | |
| 672 | fn task_desc(time_limit: Option<Duration>, priority: UserPriority) -> TaskDescription { |
| 673 | TaskDescription { |
| 674 | kind: TaskKind::ExternalProgram(TaskKindProgram { |
| 675 | program: ProgramDefinition { |
| 676 | args: vec![], |
| 677 | env: Default::default(), |
| 678 | stdout: Default::default(), |
| 679 | stderr: Default::default(), |
| 680 | stdin: vec![], |
| 681 | cwd: Default::default(), |
| 682 | }, |
| 683 | pin_mode: PinMode::None, |
| 684 | task_dir: false, |
| 685 | }), |
| 686 | time_limit, |
| 687 | priority, |
| 688 | crash_limit: CrashLimit::default(), |
| 689 | } |
| 690 | } |
| 691 | |
| 692 | fn task( |
| 693 | id: u32, |