##// END OF EJS Templates
Merge pull request #3600 from chapmanb/master...
Merge pull request #3600 from chapmanb/master Improved logging for errors during BatchLauncher.stop This is a logging/debugging improvement that catches and reports errors when shutting down clusters using a BatchLauncher (qdel/bkill). The previous behavior was to silently fail if the external command failed. The patch captures error output and reports potential issues to the log.

File last commit:

r11033:fa36e98f
r11286:99909aee merge
Show More
variables.less
11 lines | 329 B | text/x-less | LessCssLexer
// Our customizations to bootstrap go here.
@textColor: @black;
@baseFontSize: 13px;
@monoFontFamily: monospace; // to allow user to customize their fonts
@navbarHeight: 36px;
// Our own global variables for all pages go here
@corner_radius: 4px;
@code_line_height: 1.231em;