diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2017-04-22 13:03:12 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-04-22 13:03:12 +0200 |
| commit | 27ff5f0ba1a4cb3ef7429de113b5943106ecba9b (patch) | |
| tree | e9c9d80ca597bdc65d9b216c90534e0ac613f439 /bbot/agent.cxx | |
| parent | 3ea6e51b28a06ad4c8b70e9f4d206a56e4771027 (diff) | |
Rename directory toolchain/ to toolchains/
To be consistent with machines/
Diffstat (limited to 'bbot/agent.cxx')
| -rw-r--r-- | bbot/agent.cxx | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bbot/agent.cxx b/bbot/agent.cxx index 432e53a..683bd73 100644 --- a/bbot/agent.cxx +++ b/bbot/agent.cxx @@ -110,7 +110,7 @@ bootstrap_machine (const dir_path& md, // Start the TFTP server (server chroot is --tftp). Map: // - // GET requests to .../toolchain/<name>/* + // GET requests to .../toolchains/<name>/* // PUT requests to .../bootstrap/<name>/* // auto_rmdir arm ((dir_path (ops.tftp ()) /= "bootstrap") /= tc_name); @@ -121,7 +121,7 @@ bootstrap_machine (const dir_path& md, path mf (arm.path () / "manifest"); try_rmfile (mf); - tftp_server tftpd ("Gr ^/?(.+)$ /toolchain/" + tc_name + "/\\1\n" + + tftp_server tftpd ("Gr ^/?(.+)$ /toolchains/" + tc_name + "/\\1\n" + "Pr ^/?(.+)$ /bootstrap/" + tc_name + "/\\1\n"); l3 ([&]{trace << "tftp server on port " << tftpd.port ();}); |