2021-03-10 07:19:17 +00:00
|
|
|
const core = require('@actions/core');
|
2021-06-11 13:17:22 +00:00
|
|
|
const { execFileSync } = require('child_process');
|
2022-10-19 11:27:50 +00:00
|
|
|
const { sshAgentCmd } = require('./paths.js');
|
2020-05-18 07:08:29 +00:00
|
|
|
|
|
|
|
try {
|
|
|
|
// Kill the started SSH agent
|
2021-03-10 07:19:17 +00:00
|
|
|
console.log('Stopping SSH agent');
|
2022-10-19 11:27:50 +00:00
|
|
|
execFileSync(sshAgentCmd, ['-k'], { stdio: 'inherit' });
|
2020-05-18 07:08:29 +00:00
|
|
|
} catch (error) {
|
2020-06-24 06:31:28 +00:00
|
|
|
console.log(error.message);
|
|
|
|
console.log('Error stopping the SSH agent, proceeding anyway');
|
2020-05-18 07:08:29 +00:00
|
|
|
}
|