Avoid polling the reading future again after disconnection

Dependencies

• [2] JBFDZQ46 Formatting
• [3] 2SFWWZ2R Rearm reading future on empty packet, and respond to server-initiated key re-exchange
• [4] KNLLUDOI Correct usage of `tokio::select!`
• [*] 7FRJYUI6 Reboot because of a bad change

Change contents

• edit in thrussh/src/server/mod.rs at line 491
  [4.807]

  [6.218950]
  + let mut is_reading = None;
• edit in thrussh/src/server/mod.rs at line 497
  [6.219146]

  [6.219146]
  + is_reading = Some((stream_read, buffer));
• edit in thrussh/src/server/mod.rs at line 509
  [6.219577]

  [6.219577]
  + is_reading = Some((stream_read, buffer));
• edit in thrussh/src/server/mod.rs at line 518
  [3.136]

  [3.136]
  + is_reading = Some((stream_read, buffer));
• edit in thrussh/src/server/mod.rs at line 578
  [4.1036]

  [4.1036]
  + if let Some((stream_read, buffer)) = is_reading.take() {

  + reading.set(start_reading(

  + stream_read,

  + buffer,

  + session.common.cipher.clone(),

  + ));

  + }
• edit in thrussh/src/server/mod.rs at line 586
  [4.1083]

  [4.1083]
  + is_reading = Some((r, b));
• edit in thrussh/src/server/mod.rs at line 589
  [2.985]→[4.1121:1214](∅→∅),[4.1121]→[4.1121:1214](∅→∅)
  − } else {

  − reading.set(start_reading(r, b, session.common.cipher.clone()))