chore: pr feedbacks
This commit is contained in:
parent
b7ff2f709a
commit
2208814794
2 changed files with 4 additions and 6 deletions
|
|
@ -51,10 +51,12 @@ export interface MirrorEvent {
|
||||||
export interface DoctorEvent {
|
export interface DoctorEvent {
|
||||||
repositoryId: string;
|
repositoryId: string;
|
||||||
repositoryName: string;
|
repositoryName: string;
|
||||||
|
error?: string;
|
||||||
}
|
}
|
||||||
|
|
||||||
export interface DoctorCompletedEvent extends DoctorEvent {
|
export interface DoctorCompletedEvent extends DoctorEvent {
|
||||||
success: boolean;
|
success: boolean;
|
||||||
|
completedAt: number;
|
||||||
steps: Array<{
|
steps: Array<{
|
||||||
step: string;
|
step: string;
|
||||||
success: boolean;
|
success: boolean;
|
||||||
|
|
|
||||||
|
|
@ -87,9 +87,7 @@ class RepositoryMutex {
|
||||||
}
|
}
|
||||||
});
|
});
|
||||||
|
|
||||||
if (onAbort) {
|
signal?.removeEventListener("abort", onAbort);
|
||||||
signal?.removeEventListener("abort", onAbort);
|
|
||||||
}
|
|
||||||
|
|
||||||
if (signal?.aborted) {
|
if (signal?.aborted) {
|
||||||
this.releaseShared(repositoryId, lockId);
|
this.releaseShared(repositoryId, lockId);
|
||||||
|
|
@ -138,9 +136,7 @@ class RepositoryMutex {
|
||||||
}
|
}
|
||||||
});
|
});
|
||||||
|
|
||||||
if (onAbort) {
|
signal?.removeEventListener("abort", onAbort);
|
||||||
signal?.removeEventListener("abort", onAbort);
|
|
||||||
}
|
|
||||||
|
|
||||||
if (signal?.aborted) {
|
if (signal?.aborted) {
|
||||||
this.releaseExclusive(repositoryId, lockId);
|
this.releaseExclusive(repositoryId, lockId);
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue