anonym | Anmelden | Neues Konto anmelden | 2022-08-12 03:50 UTC |
Startseite | Übersicht | Probleme anzeigen | Änderungsprotokoll | Roadmap | Dokumentation | Konto |
Einfache Problemansicht anzeigen [ Zu Notizen wechseln ] | [ erweiterte Anzeige ] [ Problem-Historie ] [ Drucken ] | ||||||
ID | Kategorie | Auswirkung | Reproduzierbar | Meldungsdatum | Letzte Aktualisierung | ||
0000103 | [Cadmium] general | kleinerer Fehler | immer | 2012-07-28 06:55 | 2013-03-07 23:11 | ||
Reporter | dobesv | Anzeigestatus | öffentlich | ||||
Bearbeitung durch | xclerc | ||||||
Priorität | normal | Lösung | erledigt | ||||
Status | erledigt | Produktversion | 1.4 | ||||
Zusammenfassung | 0000103: Unix.descr_of_in_channel stdin fails in OcamlJava, works in OCaml | ||||||
Beschreibung |
It appears that the "stdin" channel isn't assigned a unix file descriptor in Cafesterol. let () = let fd = Unix.descr_of_in_channel stdin and buf = String.create 1 in let chars_read = Unix.read fd buf 1 1 in print_endline (if chars_read == 1 then buf else "") ;; This results in : Fatal error: exception Sys_error("invalid file descriptor") I ran into this because a library I use was getting filehandles for stdin using the channel instead of looking at stdin directly. |
||||||
Zusätzliche Information | |||||||
Tags | Keine Tags zugeordnet. | ||||||
Angehängte Dateien | |||||||
|
![]() |
|
(0000252) dobesv (Reporter) 2012-07-28 07:21 |
I was able to workaround this by using Unix.stdin and Unix.stdout directly. |
Mantis 1.1.7[^] Copyright © 2000 - 2008 Mantis Group |