From 30e7d74babba718e7b94027470dfad4979dd6f96 Mon Sep 17 00:00:00 2001 From: Rasmus Kaj Date: Sun, 23 Feb 2025 21:37:33 +0100 Subject: [PATCH] Only apply recent changes. New users and password changes should be applied, but updaging all users all the time would waste processing. --- poll.py | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/poll.py b/poll.py index 9dfe4c7..058501d 100755 --- a/poll.py +++ b/poll.py @@ -1,4 +1,5 @@ #! /bin/env python3 +from datetime import datetime, timezone, timedelta from requests import get, post, patch from os import getenv import logging @@ -9,9 +10,15 @@ fingerpass = getenv('FINGER_PW') gitauth = (getenv('GIT_USER'), getenv('GIT_PW')) -fingerurl = f'https://finger.stacken.kth.se/services/git/all' -response = get(fingerurl, auth=('git', fingerpass)) +fingerurl = f'https://finger.stacken.kth.se/services/git/all' +query = {} + +if True: + since = datetime.now(timezone.utc) - timedelta(minutes=30) + query['since'] = since.strftime("%Y-%m-%dT%T%Z") + +response = get(fingerurl, params=query, auth=('git', fingerpass)) response.raise_for_status() for (user, passwd) in response.json().items():