Method code for $connection.change_interface()

[Turn off line numbering]

---

  1: arg new;
  2: var old;
  3: 
  4: (> .perms(sender()) <);
  5: (> .perms(caller(), $login_interface) <);
  6: if (interface) {
  7:     old = interface;
  8:     old.connection_going_away(.address(), remote_port);
  9: }
 10: interface = new;
 11: .manager().change_connection_interface(old, new);
 12: interface.connection_starting(.address(), remote_port);

---

// Created 22-Aug-1995 as a part of ColdCore, see: @help Credit