Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Use of Mailbox and string is inconsistent and not thought-through #12

Open
Laeeth opened this issue Dec 26, 2019 · 4 comments
Open

Use of Mailbox and string is inconsistent and not thought-through #12

Laeeth opened this issue Dec 26, 2019 · 4 comments

Comments

@Laeeth
Copy link
Contributor

Laeeth commented Dec 26, 2019

No description provided.

@otrho
Copy link
Contributor

otrho commented Oct 15, 2020

I think this is at least partly referring to the mailbox hierarchical separator which we don't seem to support properly.

The character used is defined by the server instance, and is usually . or / but needs to be used properly. Our mailbox handling and specification needs to support this more generally.

E.g., Right now we can perform mailbox operations using Mailbox objects which may have names containing . or / and they'll be passed through to the server as is and probably not work as expected.

@Laeeth
Copy link
Contributor Author

Laeeth commented Oct 17, 2020

Yes. I just ran out of time before implementing those and utf7 mailbox names properly

@otrho
Copy link
Contributor

otrho commented Nov 1, 2020

OK, also sending strings should be abstracted as there are quoted "strings" and there are string literals:

{33}
potentially
multiline
strings

We should have a sendString method which could like a slice of strings and send them as a string literal.

@otrho
Copy link
Contributor

otrho commented Nov 2, 2020

Also -- not necessarily related to this issue but is another basic feature we should support -- IDs can be UIDs, sequence IDs and also 'sequence sets', e.g., 2:4 meaning sequence IDs 2, 3 and 4.

@otrho otrho self-assigned this Nov 26, 2020
@otrho otrho mentioned this issue Dec 8, 2020
@otrho otrho removed their assignment Apr 6, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants