Fix UI bugs

Signed-off-by: Sebastiano Mariani <[email protected]>
ucsb-seclab · Feb 16, 2018 · 8d1e34f · 8d1e34f
1 parent d9fd736
commit 8d1e34f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/visualizer/client/src/components/fullScreenSourcecodeDialog.jsx b/visualizer/client/src/components/fullScreenSourcecodeDialog.jsx
@@ -44,7 +44,6 @@ class FullScreenSourceCode extends React.Component {
           fullScreen
           open={this.state.open}
           onRequestClose={this.handleRequestClose}
-          transition={<Slide direction="up" />}
         >
           <AppBar className={classes.appBar}>
             <Toolbar>

diff --git a/visualizer/server/config.py b/visualizer/server/config.py
@@ -8,12 +8,12 @@
 RUN_REMOTE = True
 
 # dr_checker's output folder
-RESULTS_DIR = "/dockershare/outputjson" if os.path.exists("/dockershare/outputjson") else "/path/to/the/directory/containing/jsons"
+RESULTS_DIR = "/dockershare/processed_json" if os.path.exists("/dockershare/processed_json") else "/path/to/the/directory/containing/jsons"
 
 # this flag indicates if the path of the file name in the jsons should be replaced.
 # all paths that start with PATH_TO_BE_REPLACED will be replaced with SOURCECODE_DIR
 REPLACE_KERNEL_SRC = False
 # New source code directory, which should be used to replace the below path
 SOURCECODE_DIR = "/path/to/the/new/kernel/srcs/which/should/be/used"
 # kernel src path that should be replaced with SOURCECODE_DIR
-PATH_TO_BE_REPLACED = "/path/of/the/kernel/srcs/which/needs/to/be/replaced"
+PATH_TO_BE_REPLACED = "/path/of/the/kernel/srcs/which/needs/to/be/replaced"