diff options
author | marino <marino@FreeBSD.org> | 2016-10-21 02:24:26 +0800 |
---|---|---|
committer | marino <marino@FreeBSD.org> | 2016-10-21 02:24:26 +0800 |
commit | 6213a40d1c7928b19b841f2e3011e4d80b6a482c (patch) | |
tree | b16c7db9a3d7e713a503e473f784d577bf1ca519 /ports-mgmt | |
parent | 9eb33be2103f0ae93ac52d3217dd7a9f30390d0b (diff) | |
download | freebsd-ports-gnome-6213a40d1c7928b19b841f2e3011e4d80b6a482c.tar.gz freebsd-ports-gnome-6213a40d1c7928b19b841f2e3011e4d80b6a482c.tar.zst freebsd-ports-gnome-6213a40d1c7928b19b841f2e3011e4d80b6a482c.zip |
ports-mgmt/synth: Upgrade version 1.61 => 1.62
Cosmetic: curses display
Capitalize "Swap" and "Skipped" field labels
Cosmetic: web report
After the build completes, fade out the builders table in 2.5 seconds.
Nobody needs to see a table showing all the builders in "shutdown" mode.
Bandwidth: json files
A history.json file holds up to 500 log entries. 16 bytes of spaces were
removed which reduces the history file size by 8000 bytes. Spaces were
also removed from summary.json which can account for 20%+ of the size.
Only rewrite history files upon change:
The last history.json file was being written/rewritten every 3 seconds
regardless if there were changes to it or not. Now it's only written
if it's changed since the previous write. This might help reduce errors
seen by in nginx access log which are thought to occur when file changes
as the file is being served.
Diffstat (limited to 'ports-mgmt')
-rw-r--r-- | ports-mgmt/synth/Makefile | 2 | ||||
-rw-r--r-- | ports-mgmt/synth/distinfo | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/ports-mgmt/synth/Makefile b/ports-mgmt/synth/Makefile index a49e6c6b579e..c8c2b385d3dd 100644 --- a/ports-mgmt/synth/Makefile +++ b/ports-mgmt/synth/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= synth -PORTVERSION= 1.61 +PORTVERSION= 1.62 DISTVERSIONPREFIX= v CATEGORIES= ports-mgmt diff --git a/ports-mgmt/synth/distinfo b/ports-mgmt/synth/distinfo index 775ae4157f38..8019b1ecafa9 100644 --- a/ports-mgmt/synth/distinfo +++ b/ports-mgmt/synth/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1476716706 -SHA256 (jrmarino-synth-v1.61_GH0.tar.gz) = 3c65fc13824da933a8daa1e19ed5c5a8e4e3cbc46b157b4acda42a66a9a2430b -SIZE (jrmarino-synth-v1.61_GH0.tar.gz) = 125333 +TIMESTAMP = 1476969671 +SHA256 (jrmarino-synth-v1.62_GH0.tar.gz) = 832a2fa37b1ecf8f57477db7375f939b1b0fe498b35eda0ad5526fb2e8c36fe2 +SIZE (jrmarino-synth-v1.62_GH0.tar.gz) = 125399 |