From cd10bbeb9d51d0574fd59e86c8bccfdb73a960c0 Mon Sep 17 00:00:00 2001
From: dblouin <dominique.blouin@telecom-paristech.fr>
Date: Thu, 2 Feb 2017 17:10:19 +0100
Subject: [PATCH] Print exception stack trace
---
src/myutil/TraceManager.java | 23 ++++++++++++++---------
1 file changed, 14 insertions(+), 9 deletions(-)
diff --git a/src/myutil/TraceManager.java b/src/myutil/TraceManager.java
index 3270c67eca..e661fa37ec 100644
--- a/src/myutil/TraceManager.java
+++ b/src/myutil/TraceManager.java
@@ -79,22 +79,27 @@ public class TraceManager {
public static void addError( final String message,
final Throwable error ) {
- addError( message );
+ if ( message != null ) {
+ switch( errPolicy ) {
+ case TO_CONSOLE:
+ System.err.println( message );
+ break;
+ default:
+ System.err.println( message );
+ }
+ }
if ( error != null ) {
error.printStackTrace();
}
}
- public static void addError(String _s) {
- switch(errPolicy) {
- case TO_CONSOLE:
- System.err.println(_s);
- break;
- default:
- System.err.println(_s);
- }
+ public static void addError( final String message ) {
+ addError( message, null );
}
+ public static void addError( final Throwable error ) {
+ addError( null, error );
+ }
} // Class TraceManager
--
GitLab