try {
s.append(" **** Caught: "+exception + "\n");
s.append(extraInfoString(extraInfo, 3));
if (exception instanceof EOGeneralAdaptorException) {
EOGeneralAdaptorException e= (EOGeneralAdaptorException)exception;
if (e.userInfo()!=null) {
Object userInfo=e.userInfo();
if (userInfo instanceof NSDictionary) {
NSDictionary uid=(NSDictionary)userInfo;
for (Enumeration e2=uid.keyEnumerator(); e2.hasMoreElements();) {
String key=(String)e2.nextElement();
Object value=uid.objectForKey(key);
s.append(key + " = " + value + ";\n");
}
} else {
s.append(e.userInfo().toString());
}
}
} else {
s.append(ERXUtilities.stackTrace(exception));
}