Fixing network errors

Dependencies

• [2] R4RRU65V Recreate the patch file instead of only truncating it, on failed HTTP downloads
• [3] MU6P2JXG SSH: return with an error if the host key is wrong, rather than denying authentication
• [4] TPEH2XNB 1.0.0-alpha.28, with Tokio 1.0
• [5] BVVMTOYW Proper renaming of changes downloaded over HTTP
• [6] SXEYMYF7 Fixing the bad changes in history (unfortunately, by rebooting).
• [7] VBMXB443 Retrying if the HTTP connection drops while reading the body
• [8] 4CEHBW7Y Truncate files when restarting a HTTP transfer
• [9] IQ4FCHPZ HTTP connections: pooling + retry on error
• [10] UDHP4ZVB Fixing SSH asynchronicity issues
• [*] SZWBLWZ4 Reading ~/.ssh/config
• [*] FBXYP7QM Forgot to add remote::http

Change contents

• edit in pijul/src/remote/ssh.rs at line 79
  [12.676]

  [3.27597]
  + port: self.config.port,
• edit in pijul/src/remote/ssh.rs at line 260
  [3.32312]

  [3.32312]
  + port: u16,
• replacement in pijul/src/remote/ssh.rs at line 311
  [3.32951]→[3.32951:33207](∅→∅)
  − let mut it = self.addr.split(':');

  − let addr = it.next().unwrap();

  − let port = it.next().unwrap_or("22").parse().unwrap();

  − match thrussh_keys::check_known_hosts_path(addr, port, server_public_key, &self.known_hosts)

  − {
  [3.32951]

  [3.33207]
  + debug!("addr = {:?} port = {:?}", self.addr, self.port);

  + match thrussh_keys::check_known_hosts_path(

  + &self.addr,

  + self.port,

  + server_public_key,

  + &self.known_hosts,

  + ) {
• replacement in pijul/src/remote/ssh.rs at line 322
  [3.33339]→[3.33339:33404](∅→∅)
  − match learn(addr, port, server_public_key) {
  [3.33339]

  [3.33404]
  + match learn(&self.addr, self.port, server_public_key) {
• edit in pijul/src/remote/http.rs at line 37
  [3.73]→[2.0:48](∅→∅)
  − f = std::fs::File::create(&path_)?;
• edit in pijul/src/remote/http.rs at line 38
  [3.1213]

  [3.888]
  + f.set_len(0)?;
• edit in pijul/src/remote/http.rs at line 55
  [3.593]→[2.49:105](∅→∅)
  − f = std::fs::File::create(&path_)?;