GreyLensman has joined #ocaml
vezenchio has joined #ocaml
Lemmih has quit [Read error: 110 (Connection timed out)]
Lemmih has joined #ocaml
kinners has joined #ocaml
monochrom has joined #ocaml
kinners has quit ["leaving"]
cjohnson has quit [Read error: 110 (Connection timed out)]
cjohnson has joined #ocaml
mrsolo_ has joined #ocaml
cjohnson has quit [Read error: 104 (Connection reset by peer)]
cjohnson has joined #ocaml
cjohnson has quit [Read error: 54 (Connection reset by peer)]
fab_ has joined #ocaml
cjohnson has joined #ocaml
_fab has quit [Read error: 60 (Operation timed out)]
cjohnson has quit ["Leaving"]
GreyLensman has quit ["Leaving"]
CosmicRay has quit [Read error: 60 (Operation timed out)]
monochrom has quit ["Don't talk to those who talk to themselves."]
_fab has joined #ocaml
pango_ has quit ["Client exiting"]
Herrchen has joined #ocaml
diablo_ has joined #ocaml
<
diablo_>
hello, I have a problem that makes me feel a bit stupid :
<
diablo_>
when running a programm as root, nothing happens! (I want to bind the port 138)
<
diablo_>
print_string "Launching the programm\n";
<
diablo_>
main() ;;
<
diablo_>
as user I works as I want, but no as root!
mlh has quit [Client Quit]
eugos has joined #ocaml
<
diablo_>
I found the error : I forgot to flush stdout ;)
<
diablo_>
sorry for the annoyance :)
karryall has quit ["tcho"]
eternite has joined #ocaml
tea has quit [Remote closed the connection]
diablo_ is now known as DiabloLernejo
mrsolo_ has quit [Read error: 113 (No route to host)]
mrsolo_ has joined #ocaml
docelic has quit ["Quit"]
docelic has joined #ocaml
dozer has quit [Ping timeout: 14400 seconds]
vincenz has quit [Read error: 232 (Connection reset by peer)]
kinners has joined #ocaml
vincenz has joined #ocaml
mlh has joined #ocaml
srv has joined #ocaml
srv_ has quit [Read error: 232 (Connection reset by peer)]
buggs has quit [Read error: 110 (Connection timed out)]
kinners has quit [Read error: 110 (Connection timed out)]
buggs has joined #ocaml
tea has joined #ocaml
cjohnson has joined #ocaml
jason__ has quit [sendak.freenode.net irc.freenode.net]
TNKS has quit [sendak.freenode.net irc.freenode.net]
mellum has quit [sendak.freenode.net irc.freenode.net]
gl has quit [sendak.freenode.net irc.freenode.net]
jrosdahl has quit [sendak.freenode.net irc.freenode.net]
mattam has quit [sendak.freenode.net irc.freenode.net]
Hadaka has quit [sendak.freenode.net irc.freenode.net]
jason__ has joined #ocaml
gl has joined #ocaml
mattam has joined #ocaml
TNKS has joined #ocaml
jrosdahl has joined #ocaml
Hadaka has joined #ocaml
mellum has joined #ocaml
codin has joined #ocaml
<
codin>
I would like to join a channel
<
codin>
but I got a message, and I don't know what to do next
<
codin>
can you help ?
<
Robert>
What message?
<
Robert>
Doesn't /join #channelname work?
<
codin>
:You need to be identified to join that channel
<
Robert>
Ah.. Then identify.
<
Robert>
/msg nickserv help
<
codin>
and I don't know how to identify myself
<
Robert>
Firs you need to register.
<
codin>
to that channel
<
codin>
and how can I do that ?
<
Robert>
Like I said, RTFM. :)
<
Robert>
/msg nickserv help
<
Robert>
That will print information.
<
Robert>
Was a long time since I last did this, so I don't remember all details.
<
codin>
ok, I will try
<
codin>
thanks a lot
<
Robert>
No problem. :)
<
codin>
Robert, thx again I've made it
mlh has quit [Client Quit]
codin has left #ocaml []
CosmicRay has joined #ocaml
docelic has quit ["Quit"]
mrsolo_ has quit [Read error: 113 (No route to host)]
vezenchio has quit ["If god didn't believe athiests existed, you would not exist. However you exist, so there must be no god"]
docelic has joined #ocaml
mrsolo_ has joined #ocaml
mrsolo_ has quit [Connection reset by peer]
malte has quit [Remote closed the connection]
malte has joined #ocaml
eugos has quit ["Leaving"]
haelix has joined #ocaml
maihem has joined #ocaml
vincenz is now known as vincenzWRK
_fab has joined #ocaml
eugos has joined #ocaml
DiabloLernejo has quit [Client Quit]
tea has quit [Remote closed the connection]
pango has joined #ocaml
eugos has quit ["Leaving"]
TNKS has left #ocaml []
tnks has joined #ocaml
pango has quit [Nick collision from services.]
pango has joined #ocaml
vincenzWRK is now known as vincenz
Nutssh has joined #ocaml
maihem_ has joined #ocaml
maihem has quit [Read error: 60 (Operation timed out)]
gpciceri has joined #ocaml
maihem_ is now known as maihem
Herrchen has quit ["bye"]
Amorphous has joined #ocaml
jave has joined #ocaml
gpciceri has quit [Read error: 238 (Connection timed out)]
gpciceri has joined #ocaml
Amorphous has left #ocaml []
fab_ has joined #ocaml
_fab has quit [Read error: 104 (Connection reset by peer)]
gim has joined #ocaml
eternite has left #ocaml []
CosmicRay has quit ["Client exiting"]
cjohnson has quit [Read error: 54 (Connection reset by peer)]
cjohnson has joined #ocaml
gpciceri has quit [Read error: 110 (Connection timed out)]
gim has quit [Read error: 110 (Connection timed out)]
<
Smerdyakov>
Anyone had problems using proofgeneral-coq in Debian lately? :\
mlh has joined #ocaml
kinners has joined #ocaml
cjohnson has quit [Read error: 60 (Operation timed out)]
maihem has quit ["Read error: 54 (Connection reset by chocolate)"]
cjohnson has joined #ocaml
Nutssh has quit ["Client exiting"]
kinners has quit ["leaving"]