As Guillaume wrote, you have to use string? str and check string==null FIRST.
But I think str.length==0 and str=="" are no high performance solutions,
especially for big/long strings.
Maybe this is better?
bool is_null_or_empty (string? str)
{
return str == null || str[0] == '\0';
}
_______________________________________________
vala-list mailing list
vala-list@gnome.org
https://mail.gnome.org/mailman/listinfo/vala-list
