fix: recorder building

.gitignore

@@ -2,7 +2,6 @@ out/
 .idea/
 
 recorder-out/*
-!recorder-out/webpack.config.js
 plugins/**/*.vsix
 !plugins/gitlens-*.vsix
 deadlock-plugins/**/*.vsix

Dockerfile

@@ -14,8 +14,7 @@ RUN chown theia /home/plugins -R
 
 COPY server.js /home/theia/src-gen/backend/server.js
 
-COPY recorder-out/dist/main.js deadlock/recorder.js
-COPY recorder-out/dist/preStop.js deadlock/preStop.js
+COPY recorder-out/ deadlock/
 COPY .gitignore_recorder deadlock/.gitignore
 
 COPY setup_trace.py .

build-recorder.sh

@@ -11,6 +11,7 @@ npm run build-recorder
 npm run build-preStop
 
 cd -
+mkdir -p $OUTPUT_DIR
 cp -r ./deadlock-plugins/deadlock-extension/out/recorder.js $OUTPUT_DIR
 cp -r ./deadlock-plugins/deadlock-extension/out/preStop.js $OUTPUT_DIR
 

recorder-out/webpack.config.js

-const path = require('path');
-const TerserPlugin = require("terser-webpack-plugin");
-
-module.exports = {
-  entry: {
-    main: './recorder/index.js',
-    preStop: './recorder/preStop.js',
-  },
-  target: 'node',
-  output: {
-    filename: '[name].js',
-    path: path.resolve(__dirname, 'dist'),
-  },
-  optimization: {
-    minimize: true,
-    minimizer: [new TerserPlugin()],
-  },
-};
\ No newline at end of file