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);
}
}
}
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.