added function cdoKillProcesses

src/process_int.cc

@@ -502,3 +502,7 @@ processNums()
 {
   return g_processManager.processNums();
 }
+void cdoKillProcesses()
+{
+    g_processManager.killProcesses();
+}

src/process_int.h

@@ -173,4 +173,6 @@ bool cdoStreamIsPipe(int pstreamID);
 
 int cdoStreamInqTimestep(int pstreamID, int tsID);
 
+void cdoKillProcesses();
+
 #endif