diff options
author | Simon Rettberg | 2023-06-12 13:52:44 +0200 |
---|---|---|
committer | Simon Rettberg | 2023-06-12 13:52:44 +0200 |
commit | 38d3ecc6a52acbe1f2a3f243a6fe1cf3f98fcbb7 (patch) | |
tree | 7156f11091081703c7266cfcb0a5c5b1bfde83ba /modules-available/minilinux/inc/minilinux.inc.php | |
parent | [vmstore] Continuously drop caches while benchmarking (diff) | |
download | slx-admin-38d3ecc6a52acbe1f2a3f243a6fe1cf3f98fcbb7.tar.gz slx-admin-38d3ecc6a52acbe1f2a3f243a6fe1cf3f98fcbb7.tar.xz slx-admin-38d3ecc6a52acbe1f2a3f243a6fe1cf3f98fcbb7.zip |
[minilinux] Minor design tweaks to list
- Hackish way to hide sort-order inlined in title
- Border for change-log
- Shorten cooldown for list update to 3 minutes (was 10)
Diffstat (limited to 'modules-available/minilinux/inc/minilinux.inc.php')
-rw-r--r-- | modules-available/minilinux/inc/minilinux.inc.php | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/modules-available/minilinux/inc/minilinux.inc.php b/modules-available/minilinux/inc/minilinux.inc.php index 96763874..4960284f 100644 --- a/modules-available/minilinux/inc/minilinux.inc.php +++ b/modules-available/minilinux/inc/minilinux.inc.php @@ -16,16 +16,16 @@ class MiniLinux */ /** - * Query all known sources for meta data + * Query all known sources for metadata * @return int number of sources query was just initialized for */ public static function updateList() { $stamp = time(); $last = Property::get(self::PROPERTY_KEY_FETCHTIME); - if ($last !== false && $last + 10 > $stamp) + if ($last !== false && $last + 3 > $stamp) return 0; // In progress... - Property::set(self::PROPERTY_KEY_FETCHTIME, $stamp, 1); + Property::set(self::PROPERTY_KEY_FETCHTIME, $stamp, 10); Database::exec('LOCK TABLES callback WRITE, minilinux_source WRITE, minilinux_branch WRITE, minilinux_version WRITE'); Database::exec('UPDATE minilinux_source SET taskid = UUID()'); |