Fix jstree in open source.

google · Jul 3, 2020 · 4727d2c · 4727d2c
1 parent 8588f8c
commit 4727d2c
Showing 1 changed file with 13 additions and 1 deletion.
diff --git a/grr/server/grr_response_server/gui/static/Gulpfile.js b/grr/server/grr_response_server/gui/static/Gulpfile.js
@@ -140,7 +140,19 @@ function copyThirdPartyResources() {
         NODE_MODULES + '/jstree/dist/themes/default/*.png',
         NODE_MODULES + '/bootstrap/fonts/glyphicons-halflings-regular.*',
       ]))
-      .pipe(gulp.dest(config.distDir));
+      .pipe(gulp.dest(config.distDir))
+      /**
+       * server/grr_response_server/gui/static/angular-components/app-controller.js
+       * hardcodes the jstree theme path to
+       * /static/third-party/jstree/themes/
+       */
+      .pipe(
+          gulp.src(validateGlobs([
+            NODE_MODULES + '/jstree/dist/themes/default/*.gif',
+            NODE_MODULES + '/jstree/dist/themes/default/*.png',
+          ]))
+      )
+      .pipe(gulp.dest("third-party/jstree/themes/default"));
 }
 
 /**