mirror/temporal-ai-agent
1
0
Fork 0
mirror of https://github.com/temporal-community/temporal-ai-agent.git synced 2026-03-15 14:08:08 +01:00
Code Issues Packages Projects Releases Wiki Activity

Ensure that the python runs on 3.4

Browse Source
This commit is contained in:
Rob Holland
2025-02-25 08:20:25 +00:00
parent 4d6acf3490
commit 99446845f2
1 changed files with 6 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
thirdparty/train_api.py vendored
View File

@@ -44,7 +44,9 @@ class TrainServer(BaseHTTPRequestHandler):
# Helper to format datetime # Helper to format datetime
def format_datetime(year, month, day, hour, minute): def format_datetime(year, month, day, hour, minute):
return f"{year:04d}-{month:02d}-{day:02d}T{hour:02d}:{minute:02d}" return "{year:04d}-{month:02d}-{day:02d}T{hour:02d}:{minute:02d}".format(
year=year, month=month, day=day, hour=hour, minute=minute
)
# Generate outbound journeys # Generate outbound journeys
year, month, day, hour, minute = out_datetime year, month, day, hour, minute = out_datetime
@@ -60,13 +62,14 @@ class TrainServer(BaseHTTPRequestHandler):
# Journey takes 2h15m-2h45m (135-165 minutes) # Journey takes 2h15m-2h45m (135-165 minutes)
duration = 135 + random.randint(0, 30) duration = 135 + random.randint(0, 30)
print(duration)
arr_hour = adj_hour + (duration // 60) arr_hour = adj_hour + (duration // 60)
arr_minute = (adj_minute + (duration % 60)) % 60 arr_minute = (adj_minute + (duration % 60)) % 60
arr_day = adj_day + (arr_hour // 24) arr_day = adj_day + (arr_hour // 24)
arr_hour = arr_hour % 24 arr_hour = arr_hour % 24
journey = { journey = {
"id": f"T{random.randint(1000, 9999)}", "id": "T%s".format(random.randint(1000, 9999)),
"type": "outbound", "type": "outbound",
"departure": origin, "departure": origin,
"arrival": destination, "arrival": destination,
@@ -99,7 +102,7 @@ class TrainServer(BaseHTTPRequestHandler):
arr_hour = arr_hour % 24 arr_hour = arr_hour % 24
journey = { journey = {
"id": f"T{random.randint(1000, 9999)}", "id": "T%s".format(random.randint(1000, 9999)),
"type": "return", "type": "return",
"departure": destination, "departure": destination,
"arrival": origin, "arrival": origin,