Merge pull request #48 from SasanLabs/develop

Fixing some bugs in VulnerableApp-Facade
SasanLabs · Sep 21, 2021 · bb17d81 · bb17d81
2 parents 058979a + 8e9cea0
commit bb17d81
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 4 deletions.
diff --git a/facade-app/src/Components/Content.tsx b/facade-app/src/Components/Content.tsx
@@ -75,6 +75,8 @@ export class Content extends React.Component<Props> {
   render() {
     const {
       activeVulnerability,
+      activeApplication,
+      activeLevel,
       activateHomePage,
       activateAboutUsPage,
       showHints,
@@ -121,7 +123,16 @@ export class Content extends React.Component<Props> {
                     collapsible={true}
                     defaultExpanded={false}
                     expanded={showHints}
-                    onSelect={() => setGlobalState({ showHints: !showHints })}
+                    onSelect={() =>
+                      setGlobalState({
+                        activeApplication: activeApplication,
+                        activeVulnerability: activeVulnerability,
+                        activeLevel: activeLevel,
+                        activateHomePage: false,
+                        activateAboutUsPage: false,
+                        showHints: !showHints,
+                      })
+                    }
                   >
                     <ol>
                       {this.selectedLevel.hints.map((hint) => {

diff --git a/facade-app/src/Utilities/Utils.ts b/facade-app/src/Utilities/Utils.ts
@@ -34,9 +34,8 @@ export function appendStaticResourcesToDocument(selectedLevel: LevelInformation)
   (resourceURI) => {
     if (resourceURI.resourceType === ResourceType.JAVASCRIPT) {
       const script = document.createElement("script");
-      script.src = resourceURI.uri;
-      script.type = "text/javascript";
-      script.async = true;
+      script.src = resourceURI.uri + "?p=" + new Date().getTime();
+      script.type = "module";
       document.getElementById("scripts")?.appendChild(script);
     } else if (resourceURI.resourceType === ResourceType.CSS) {
       let cssElement = document.createElement("link");