mop.ddnsfree.com Git - brisk.git/commit

author	Matteo Nastasi <nastasi@alternativeoutput.it>
	Sun, 22 May 2011 18:05:06 +0000 (20:05 +0200)
committer	Matteo Nastasi <nastasi@alternativeoutput.it>
	Sun, 22 May 2011 18:05:06 +0000 (20:05 +0200)
commit	7edf76e645812c232f8090b96b5a68a182ab96bc
tree	c3a67ed6a0bf661893475d53b21b2199e28fe581	tree \| snapshot
parent	d9d7c36af2f5ec4c0688e77e58d3d0b930cd2658	commit \| diff

used flock instead sem_* functions to be able to have exclusive and shared lock

Brisk - briscola chiamata in salsa Ajax: sources.