Skip to content

Instantly share code, notes, and snippets.

@c0nrad

c0nrad/gist:0606c3304c2e6e48ccf7b00748360c60

Last active August 10, 2017 19:06
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save c0nrad/0606c3304c2e6e48ccf7b00748360c60 to your computer and use it in GitHub Desktop.
Save c0nrad/0606c3304c2e6e48ccf7b00748360c60 to your computer and use it in GitHub Desktop.
Download ZIP
Coverity
Raw
gistfile1.txt
$host = http.getHostHeader();
if ( $host == "coverity.10gen.com" || $host == "coverity.mongodb.com" ) {
http.changeSite( "https://coverity.corp.mongodb.com/" );
}
if ( $host == "coverity.corp.mongodb.com" ) {
if ( !ssl.isSSL() ) {
http.changeSite( "https://coverity.corp.mongodb.com/" );
}
else {
java.run( "com.tengen.zeus.CorpSecure" );
pool.use( "coverity" );
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment