git-annex/doc/bugs/Internal_Server_Error:_Unknown_UUID.mdwn

### Please describe the problem.

One of my repositories has no name:
http://screencast.com/t/3OjxFzpz

And when I try to disable it I get this error:

    Internal Server Error
    Unknown UUID

When I try to delete it I get this error:

    Internal Server Error
    unknown UUID; cannot modify

I think this was the result of adding a Local Computer Repo, and then that computer signed off.  Maybe.

### What version of git-annex are you using? On what operating system?

git-annex version 4.20130601-g2b6c3f2
Mac OS 10.7.5

### Please provide any additional information below.

Maybe it's a glitch that only will happen this once, the problem is I can't get rid of it!  Are there anyways of manually getting rid of a repo with uid?

> Also reported here:
> [[Missing_repo_uuid_after_local_pairing_with_older_annex]] and
> [[Internal_Server_Error_unknown_UUID;_cannot_modify]]
> and [[Local_network___40__ssh__41___fails_to_pair__47__sync]]
> and [[Internal_Server_Error:_Unknown_UUID]]
> --[[Joey]] 

[[!meta title="local pairing leads to unknown UUID"]]

> This bug is [[fixed|done]]. The webapp will detect the problem and
> provides an interface to correct it. --[[Joey]]
2013-07-04 15:05:53 +00:00			`### Please describe the problem.`

			`One of my repositories has no name:`
			`http://screencast.com/t/3OjxFzpz`

			`And when I try to disable it I get this error:`

			`Internal Server Error`
			`Unknown UUID`

			`When I try to delete it I get this error:`

			`Internal Server Error`
			`unknown UUID; cannot modify`

2013-07-04 15:07:06 +00:00			`I think this was the result of adding a Local Computer Repo, and then that computer signed off. Maybe.`

2013-07-04 15:05:53 +00:00			`### What version of git-annex are you using? On what operating system?`

			`git-annex version 4.20130601-g2b6c3f2`
			`Mac OS 10.7.5`

			`### Please provide any additional information below.`

			`Maybe it's a glitch that only will happen this once, the problem is I can't get rid of it! Are there anyways of manually getting rid of a repo with uid?`
merge 2013-07-27 22:05:45 +00:00
merge 2013-07-28 00:29:23 +00:00			`> Also reported here:`
			`> [[Missing_repo_uuid_after_local_pairing_with_older_annex]] and`
			`> [[Internal_Server_Error_unknown_UUID;_cannot_modify]]`
			`> and [[Local_network___40__ssh__41___fails_to_pair__47__sync]]`
			`> and [[Internal_Server_Error:_Unknown_UUID]]`
			`> --[[Joey]]`
merge 2013-07-27 22:05:45 +00:00
			`[[!meta title="local pairing leads to unknown UUID"]]`
close 2013-07-31 20:48:35 +00:00
			`> This bug is [[fixed\|done]]. The webapp will detect the problem and`
			`> provides an interface to correct it. --[[Joey]]`