Release-procedure stuff: remove outdated hostname 'atreus'.

[PuTTY.git] / release.pl

diff --git a/release.pl b/release.pl
index e903bf7da04a6b0971cf67cb475b0676633d6ea6..cf73d9eb48f3df9b5f37afb93b3e0c1037f2149e 100755 (executable)
--- a/release.pl
+++ b/release.pl
@@ -72,12 +72,12 @@ if ($upload) {
     -d "putty" or die "no putty directory in cwd";
 
     0 == system("rsync", "-av", "maps/",
-                "atreus:src/putty-local/maps-$version")
+                "thyestes:src/putty-local/maps-$version")
         or die "could not upload link maps";
 
-    for my $location (["atreus", "www/putty/$version"],
-                      ["the",    "www/putty/$version"],
-                      ["chiark", "ftp/putty-$version"]) {
+    for my $location (["thyestes", "www/putty/$version"],
+                      ["the",      "www/putty/$version"],
+                      ["chiark",   "ftp/putty-$version"]) {
         my ($host, $path) = @$location;
         0 == system("rsync", "-av", "putty/", "$host:$path")
             or die "could not upload release to $host";