25 Oct
2004
25 Oct
'04
1:35 p.m.
Dear Chris, On Mon, Oct 25, 2004 at 11:25:54AM +0200, Chris Dams wrote:
Another issue is that CVS-updating does not work at the moment.
chrisd@gamow:~/ginac> cvs update [...snip...] cvs server: Updating . cvs server: failed to create lock directory for `/home/cvs/GiNaC' (/home/cvs/GiNaC/#cvs.lock): No space left on device cvs server: failed to obtain dir lock in repository `/home/cvs/GiNaC' cvs [server aborted]: read lock failed - giving up
Should work now (our server was out of disk space for a short time). Bye, Jens