Currently relies on SRV being set, or the JID's hostname being the server hostname and the port being default. Future work: Allow manual configuration of user name, hostname, and port. |
||
|---|---|---|
| .. | ||
| Edit.hs | ||
| Local.hs | ||
| Pairing.hs | ||
| S3.hs | ||
| Ssh.hs | ||
| XMPP.hs | ||
Currently relies on SRV being set, or the JID's hostname being the server hostname and the port being default. Future work: Allow manual configuration of user name, hostname, and port. |
||
|---|---|---|
| .. | ||
| Edit.hs | ||
| Local.hs | ||
| Pairing.hs | ||
| S3.hs | ||
| Ssh.hs | ||
| XMPP.hs | ||