blob: 575d8df0d92b463cfe5398a9a43754683fcb2622 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
$NetBSD: patch-af,v 1.1 2006/04/19 13:13:05 tonio Exp $
--- gs.ml.orig 2004-07-16 09:51:35.000000000 +0200
+++ gs.ml
@@ -63,7 +63,6 @@ let current_y = ref 0;;
let parse_pos s =
let c = String.index s ',' in
- let bc = s.[3] in
(* y comes first, then x *)
let y = String.sub s 3 (c - 3) in
let x = String.sub s (c + 1) (String.length s - c - 1) in
@@ -106,7 +105,7 @@ let rec select fd_in fd_out fd_exn timeo
try
Unix.select fd_in fd_out fd_exn timeout
with
- Unix.Unix_error (Unix.EINTR, _, _) as exn ->
+ | Unix.Unix_error (Unix.EINTR, _, _) ->
let now = Unix.gettimeofday () in
let remaining = start +. timeout -. now in
if remaining > 0.0 then select fd_in fd_out fd_exn timeout else [], [], []
|
