Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 456eb34) | patch
of course, you shouldn't use the simulated time but the native one to see whether...
authormquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Wed, 11 Jul 2007 17:15:44 +0000 (17:15 +0000)
committermquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Wed, 11 Jul 2007 17:15:44 +0000 (17:15 +0000)
commit16957701f9f986241cbf3236900a0e2e5b7612de
tree00bcc5d1901dec567bbe7a473dcc030e56fee2fdtree | snapshot
parent456eb348c9521090931eba2c7fbfcacf40623faecommit | diff
of course, you shouldn't use the simulated time but the native one to see whether the user waited 5 sec before pressing Ctrl-C again

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@3739 48e7efb5-ca39-0410-a469-dd3cf9ba447f
src/gras/gras.c diff | blob | history
Clone of SimGrid repository with local patches