From d0e71407f04a51554cd1dab5facd3ab02ece9acc Mon Sep 17 00:00:00 2001
From: "Jan \"Yenya\" Kasprzak" <kas@fi.muni.cz>
Date: Fri, 3 Dec 2021 06:22:22 +0100
Subject: [PATCH] leaderboard: -f to force-load the JSON data from server

---
 leaderboard | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/leaderboard b/leaderboard
index 7bc84c4..42874cd 100755
--- a/leaderboard
+++ b/leaderboard
@@ -11,18 +11,20 @@ my $board_id = 652041;
 my $my_name = 'Yenya';
 my $day = (localtime(time))[3];
 my $mode = 'r';
+my $force;
 getopt
 	'n|name=s'      => \$my_name,
 	'd|day=i'       => \$day,
 	'1|first-task'  => sub { $mode = '1' },
 	'2|second-task' => sub { $mode = '2' },
 	'r|relative'    => sub { $mode = 'r' },
-	'b|board=i'     => \$board_id
+	'b|board=i'     => \$board_id,
+	'f|force'       => \$force
 or die "Usage: $0 [-n username] [-1|-2|-r] [-b board_id]\n";
 my $cache_filename = "cache-$board_id.json";
 my $cached = curfile->sibling($cache_filename);
 
-if (!$cached->stat || time - $cached->stat->mtime > 900) {
+if ($force || !$cached->stat || time - $cached->stat->mtime > 900) {
 	warn "Downloading $cache_filename\n";
 	chomp(my $cookie = curfile->sibling('cookie')->slurp);
 	my $res = Mojo::UserAgent->new->get(
-- 
2.43.0