Re: 2 Phase Commit in PlusCal

Hi Santosh,

Thanks for pointing out this problem. I am traveling now, but I will correct it as soon as I can, which may not be until next week. (If I don't post a message saying it has been fixed by next Wednesday, please email me [off the list] to remind me.)

Leslie

On Tuesday, September 23, 2014 4:00:06 PM UTC-7, Santosh Golecha wrote:

I am trying to download the zip file from here (http://research.microsoft.com/en-us/um/people/lamport/tla/two-phase.html) to use it as a template to write my own PlusCal specification but looks like there is something wrong with the zip file. I keep seeing the following error:

[sgolecha@sgolecha-bld2:two-phase ] unzip two-phase.zip
Archive: two-phase.zip
End-of-central-directory signature not found. Either this file is not
a zipfile, or it constitutes one disk of a multi-part archive. In the
latter case the central directory and zipfile comment will be found on
the last disk(s) of this archive.
unzip: cannot find zipfile directory in one of two-phase.zip or
two-phase.zip.zip, and cannot find two-phase.zip.ZIP, period.
[sgolecha@sgolecha-bld2:two-phase ]

I tried using "jar vxf two-phase.zip" but that too didn't completely work.

I am looking for PlusCal spec for the 2 Phase Commit. Does anybody have a copy of that ?

Thanks
Santosh