73
79
private boolean runningChangeJob;
74
80
// private boolean guiChanged;
75
81
private boolean signalledEThread;
77
83
private static int maxNumberOfThreads;
79
85
/** Creates a new instance of JobPool */
80
86
ServerJobManager(int recommendedNumThreads, String loggingFilePath, boolean pipe, int socketPort) {
81
87
maxNumThreads = initThreads(recommendedNumThreads);
82
88
maxNumberOfThreads = maxNumThreads;
83
91
if (loggingFilePath != null)
90
95
ServerSocket serverSocket = null;