leaderboard: -f to force-load the JSON data from server

diff --git a/leaderboard b/leaderboard
index 7bc84c4ee10ec246b11f427c1006b5ff62923ab6..42874cdcb4b3d6150b9445663d1b9c5f634881ff 100755 (executable)
--- 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(