Commit 2cfa3a1a0ca91ba5dfabd58a1e22eaf15e57a427
1 parent
97d270e0
Exists in
master
and in
109 other branches
Give the possibility to show kernel execution time in console
Showing
6 changed files
with
21 additions
and
2 deletions
Show diff stats
.gitignore
@@ -6,6 +6,7 @@ generic_data/RemoteData/ | @@ -6,6 +6,7 @@ generic_data/RemoteData/ | ||
6 | generic_data/Statistics/ | 6 | generic_data/Statistics/ |
7 | generic_data/help/ | 7 | generic_data/help/ |
8 | generic_data/SimuTemplate/TargetsSimu.xml* | 8 | generic_data/SimuTemplate/TargetsSimu.xml* |
9 | +generic_data/guest* | ||
9 | js/lib/ext | 10 | js/lib/ext |
10 | help/simu | 11 | help/simu |
11 | help/auto | 12 | help/auto |
desktop.php
@@ -97,6 +97,8 @@ | @@ -97,6 +97,8 @@ | ||
97 | var max_uploaded_file_size = '<?php echo MAX_UPLOADED_FILESIZE; ?>'; | 97 | var max_uploaded_file_size = '<?php echo MAX_UPLOADED_FILESIZE; ?>'; |
98 | var guestSessionDuration = '<?php echo GuestSessionDuration*60; ?>'; // in secs | 98 | var guestSessionDuration = '<?php echo GuestSessionDuration*60; ?>'; // in secs |
99 | var maxGuestTimeInterval = '<?php echo MaxGuestTimeInterval; ?>'; // in days | 99 | var maxGuestTimeInterval = '<?php echo MaxGuestTimeInterval; ?>'; // in days |
100 | + | ||
101 | + var logExecTime = <?php echo (LOG_EXEC_TIME === TRUE ? 'true' : 'false'); ?>; | ||
100 | 102 | ||
101 | //create mask class (LoadMask for elements has been deprecated, use Ext.dom.Element.mask & Ext.dom.Element.unmask) | 103 | //create mask class (LoadMask for elements has been deprecated, use Ext.dom.Element.mask & Ext.dom.Element.unmask) |
102 | var AMDAMask = new Ext.Class({ | 104 | var AMDAMask = new Ext.Class({ |
js/app/controllers/PlotModule.js
@@ -64,6 +64,11 @@ Ext.define('amdaDesktop.PlotModule', { | @@ -64,6 +64,11 @@ Ext.define('amdaDesktop.PlotModule', { | ||
64 | 64 | ||
65 | 65 | ||
66 | Ext.each(session.result, function (tabResult, index) { | 66 | Ext.each(session.result, function (tabResult, index) { |
67 | + if (logExecTime && tabResult.exectime) | ||
68 | + { | ||
69 | + console.log("CMD EXEC TIME FOR "+tabResult.plot+" = "+tabResult.exectime+"ms"); | ||
70 | + } | ||
71 | + | ||
67 | if (tabResult.preview) | 72 | if (tabResult.preview) |
68 | { | 73 | { |
69 | var plotPreviewConfig = { | 74 | var plotPreviewConfig = { |
@@ -204,4 +209,4 @@ Ext.define('amdaDesktop.PlotModule', { | @@ -204,4 +209,4 @@ Ext.define('amdaDesktop.PlotModule', { | ||
204 | if (!this.plotResultWindowsManager.get(winResultId)) return null; | 209 | if (!this.plotResultWindowsManager.get(winResultId)) return null; |
205 | return this.plotResultWindowsManager.get(winResultId); | 210 | return this.plotResultWindowsManager.get(winResultId); |
206 | } | 211 | } |
207 | -}); | ||
208 | \ No newline at end of file | 212 | \ No newline at end of file |
213 | +}); |
js/app/models/DownloadNode.js
@@ -201,6 +201,10 @@ Ext.define('amdaModel.DownloadNode', { | @@ -201,6 +201,10 @@ Ext.define('amdaModel.DownloadNode', { | ||
201 | } | 201 | } |
202 | return; | 202 | return; |
203 | } | 203 | } |
204 | + | ||
205 | + if (logExecTime && res.exectime && (res.exectime != 0)) { | ||
206 | + console.log("CMD EXEC TIME FOR "+res.id+" = "+res.exectime+"ms"); | ||
207 | + } | ||
204 | 208 | ||
205 | var newobj = this.createJobObject(res); | 209 | var newobj = this.createJobObject(res); |
206 | var newNode = Ext.create(this.get('jobNode'), | 210 | var newNode = Ext.create(this.get('jobNode'), |
js/app/models/ExecutableNode.js
@@ -68,13 +68,17 @@ Ext.define('amdaModel.ExecutableNode', { | @@ -68,13 +68,17 @@ Ext.define('amdaModel.ExecutableNode', { | ||
68 | 68 | ||
69 | if (res.killed) | 69 | if (res.killed) |
70 | return; | 70 | return; |
71 | - | 71 | + |
72 | if (isInteractivePlot){ | 72 | if (isInteractivePlot){ |
73 | myDesktopApp.getLoadedModule(myDesktopApp.dynamicModules.plot.id, true, function (module) { | 73 | myDesktopApp.getLoadedModule(myDesktopApp.dynamicModules.plot.id, true, function (module) { |
74 | module.updateInteractiveSession(res, true); | 74 | module.updateInteractiveSession(res, true); |
75 | }); | 75 | }); |
76 | } | 76 | } |
77 | else { | 77 | else { |
78 | + if (logExecTime && res.exectime && (res.exectime != 0)) { | ||
79 | + console.log("CMD EXEC TIME FOR "+res.id+" = "+res.exectime+"ms"); | ||
80 | + } | ||
81 | + | ||
78 | var newobj = this.createJobObject(res); | 82 | var newobj = this.createJobObject(res); |
79 | var newNode = Ext.create(this.get('jobNode'), { | 83 | var newNode = Ext.create(this.get('jobNode'), { |
80 | info : res.info, | 84 | info : res.info, |
php/my_config.template.php
@@ -34,4 +34,7 @@ define('AMDAINTERNALDIR', '{:AMDAINTERNALDIR:}'); | @@ -34,4 +34,7 @@ define('AMDAINTERNALDIR', '{:AMDAINTERNALDIR:}'); | ||
34 | 34 | ||
35 | define('REST_API_URL', '{:REST_API_URL:}'); | 35 | define('REST_API_URL', '{:REST_API_URL:}'); |
36 | define('API_DOC_PATH', '{:API_DOC_PATH:}'); | 36 | define('API_DOC_PATH', '{:API_DOC_PATH:}'); |
37 | + | ||
38 | +// Show log in browser console about execution time for a request | ||
39 | +// define('LOG_EXEC_TIME', FALSE); | ||
37 | ?> | 40 | ?> |