Skip to content

Commit

Permalink
pin import: revert pins if no solution and on user abort
Browse files Browse the repository at this point in the history
  • Loading branch information
AltGr committed Aug 7, 2014
1 parent 87a0197 commit 72f4f46
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions src/client/opamSwitchCommand.ml
Original file line number Diff line number Diff line change
Expand Up @@ -386,6 +386,9 @@ let import_t importfile t =
revert_pins ();
raise e
in
(match solution with
| No_solution | Aborted -> revert_pins ()
| Error _ | OK _ | Nothing_to_do -> ());
OpamSolution.check_solution t solution

let export filename =
Expand Down

0 comments on commit 72f4f46

Please sign in to comment.