From 4727d2c4cbdcc770f423843750e1252f2a3e7d45 Mon Sep 17 00:00:00 2001 From: mol123 <60134413+mol123@users.noreply.github.com> Date: Fri, 3 Jul 2020 15:31:39 +0200 Subject: [PATCH] Fix jstree in open source. --- .../grr_response_server/gui/static/Gulpfile.js | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/grr/server/grr_response_server/gui/static/Gulpfile.js b/grr/server/grr_response_server/gui/static/Gulpfile.js index 19f4089bb..252364db1 100644 --- 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")); } /**