From 373857ad815fdce1a114f407547fa707bbce3643 Mon Sep 17 00:00:00 2001 From: Karan Jayachandra Date: Tue, 22 Oct 2024 15:23:15 +0200 Subject: Added possibility to configure timer --- utilities.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/utilities.py b/utilities.py index 2a34c05..7a9d55d 100644 --- a/utilities.py +++ b/utilities.py @@ -1,3 +1,4 @@ +from os import getenv from time import time from typing import Tuple from random import shuffle @@ -31,7 +32,7 @@ def sample_list(indices: list, cost: list[int], count: int = None) -> list: class Timer: ref: float = None running: bool = False - max_mins: float = 17.5 + max_mins: float = float(getenv("TIMER")) default: str = ("00", "00") def __post_init__(self): -- cgit v1.3.1