Properly handle JIDs without localpart; fixes #1
This commit is contained in:
parent
a9ae79878e
commit
811e252de1
|
@ -4,7 +4,7 @@ public class Dino.Entities.Jid : Object {
|
||||||
public string? resourcepart { get; set; }
|
public string? resourcepart { get; set; }
|
||||||
|
|
||||||
public Jid? bare_jid {
|
public Jid? bare_jid {
|
||||||
owned get { return new Jid(@"$localpart@$domainpart"); }
|
owned get { return localpart != null ? new Jid(@"$localpart@$domainpart") : new Jid(domainpart); }
|
||||||
}
|
}
|
||||||
|
|
||||||
private string jid { get; private set; }
|
private string jid { get; private set; }
|
||||||
|
@ -19,8 +19,6 @@ public class Dino.Entities.Jid : Object {
|
||||||
|
|
||||||
public Jid.with_resource(string bare_jid, string resource) {
|
public Jid.with_resource(string bare_jid, string resource) {
|
||||||
Jid? parsed = Jid.parse(bare_jid);
|
Jid? parsed = Jid.parse(bare_jid);
|
||||||
print(parsed.localpart + "\n");
|
|
||||||
print(parsed.domainpart + "\n");
|
|
||||||
Jid.components(parsed.localpart, parsed.domainpart, resourcepart);
|
Jid.components(parsed.localpart, parsed.domainpart, resourcepart);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue