Diff
Not logged in

Differences From Artifact [8acb5e0040]:

To Artifact [5be224ca59]:


791
792
793
794
795
796
797
798
799
800
801
802
803
804
805

    if {[string length $checkoutDirectory] == 0} then {
      error [string map [list \
          %error% "checkout directory is invalid"] \
          $message]
    }

    if {![file isdir $checkoutDirectory]} then {
      error [string map [list %error% [appendArgs \
          "checkout directory \"" $checkoutDirectory \
          "\" is not really a directory"]] $message]
    }
  }

  #







|







791
792
793
794
795
796
797
798
799
800
801
802
803
804
805

    if {[string length $checkoutDirectory] == 0} then {
      error [string map [list \
          %error% "checkout directory is invalid"] \
          $message]
    }

    if {![file isdirectory $checkoutDirectory]} then {
      error [string map [list %error% [appendArgs \
          "checkout directory \"" $checkoutDirectory \
          "\" is not really a directory"]] $message]
    }
  }

  #