publicclass DefaultFile { publicstaticvoid main(String[] args) throws Exception { // There are 2 cases where default ccache name is not // /tmp/krb5cc_uid. if (System.getenv("KRB5CCNAME") != null) { return;
} if (System.getProperty("os.name").startsWith("Windows")) { return;
}
String name = FileCredentialsCache.getDefaultCacheName(); if (!name.startsWith("/tmp/krb5cc_")) { thrownew Exception("default name is " + name);
}
}
}
Messung V0.5 in Prozent
¤ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet am 2026-10-12)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.