Example #1
0
 public static void logEnter(int fid) {
   if (skipmode()) return;
   supervisor.logEnter(fid);
   Logger.log("ENTER: " + fid);
 }