cafe-grader-judge-scripts

Commit r96:efe2fae6056b public

parent | child
Description:
fixed too many open file error
Commit status:
[Not Reviewed]
References:
default
Diff options:
Raw Diff | Patch Diff | Download Diff | Ignore whitespace | Increase context
Comments:
0 Commit comments 0 Inline Comments
Unresolved TODOs:
There are no unresolved TODOs
Side by Side Unified
Expand All Files Collapse All Files Wide Mode Diff
Add another comment
Browse Files

r96:efe2fae6056b - - 1 file changed: 2 inserted, 0 deleted

Show file before | Show file after | Raw diff | Download diff | Ignore whitespace Increase context Show commentsHide comments
@@ -36,72 +36,74
36 36 f.seek(0)
37 37 f.write("#{counter+1}\n")
38 38 f.close
39 39 else
40 40 # i'm the first, create the counter file
41 41 counter = 0
42 42 f = File.new(counter_filename,"w")
43 43 f.write("1\n")
44 44 f.close
45 45 end
46 46
47 47 # if no one is here
48 48 if counter == 0
49 49 if block_given?
50 50 yield
51 51 end
52 52 end
53 53
54 54 rescue
55 55 raise
56 56
57 57 ensure
58 58 # make sure it unlock the directory
59 59 dir.flock(File::LOCK_UN)
60 + dir.close
60 61 end
61 62 end
62 63
63 64 # Check if I am the last one using the dir. If true, call block.
64 65
65 66 def teardown
66 67 dir = File.new(@dir_name)
67 68 dir.flock(File::LOCK_EX)
68 69 begin
69 70 counter_filename = get_counter_filename
70 71 if File.exist? counter_filename
71 72 # someone is here
72 73 f = File.new(counter_filename,"r+")
73 74 counter = f.read.to_i
74 75 f.seek(0)
75 76 f.write("#{counter-1}\n")
76 77 f.close
77 78
78 79 if counter == 1
79 80 # i'm the last one
80 81
81 82 File.delete(counter_filename)
82 83 if block_given?
83 84 yield
84 85 end
85 86 end
86 87 else
87 88 # This is BAD
88 89 raise "Error: reference count missing"
89 90 end
90 91
91 92 rescue
92 93 raise
93 94
94 95 ensure
95 96 # make sure it unlock the directory
96 97 dir.flock(File::LOCK_UN)
98 + dir.close
97 99 end
98 100 end
99 101
100 102 protected
101 103
102 104 def get_counter_filename
103 105 return File.join(@dir_name,@usage_filename)
104 106 end
105 107
106 108 end
107 109 end
You need to be logged in to leave comments. Login now