}
internal static string format_datetime_now() {
- DateTime now = new DateTime.now_utc();
- string dt = now.format("%b %d %T %Y %Z");
- return dt;
+ // DateTime now = new DateTime.now_utc();
+ // string dt = now.format("%b %d %T %Y %Z");
+ // return dt;
+ return "Sorry; formatted date/time strings not available on Centos 6";
}
internal void update_server_fingerprint(string fingerprint) {
cert.chomp();
uchar[] binary = Base64.decode(cert);
- IdCard.logger.trace("get_expiration_date: encoded length=%d; decoded length=%d".printf(cert.length, binary.length));
+ IdCard.logger.trace("get_expiration_date: encoded length=%ld; decoded length=%d".printf(cert.length, binary.length));
char buf[64];
string err = (string) get_cert_valid_before(binary, binary.length, buf, 64);
{
IdCard card = new IdCard();
card.display_name = NO_IDENTITY;
+ card._nai = "";
return card;
}