annotate gui/ui/render.h @ 34783:1d4795fbdb67

Retry reconnecting several times. Also add a delay, otherwise a server closing any incoming connection immediately would make MPlayer stop even if it happens only for 1 second or so. With this change, no server/network outage of any kind shorter than 5 seconds should cause MPlayer to give up anymore.
author reimar
date Sun, 22 Apr 2012 12:10:49 +0000
parents 520fb0f7544c
children e27855a45128
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
26458
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26365
diff changeset
1 /*
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26365
diff changeset
2 * This file is part of MPlayer.
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26365
diff changeset
3 *
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26365
diff changeset
4 * MPlayer is free software; you can redistribute it and/or modify
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26365
diff changeset
5 * it under the terms of the GNU General Public License as published by
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26365
diff changeset
6 * the Free Software Foundation; either version 2 of the License, or
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26365
diff changeset
7 * (at your option) any later version.
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26365
diff changeset
8 *
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26365
diff changeset
9 * MPlayer is distributed in the hope that it will be useful,
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26365
diff changeset
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26365
diff changeset
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26365
diff changeset
12 * GNU General Public License for more details.
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26365
diff changeset
13 *
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26365
diff changeset
14 * You should have received a copy of the GNU General Public License along
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26365
diff changeset
15 * with MPlayer; if not, write to the Free Software Foundation, Inc.,
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26365
diff changeset
16 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26365
diff changeset
17 */
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26365
diff changeset
18
33556
520fb0f7544c Rename GUI directory 'mplayer' and some files in it.
ib
parents: 33548
diff changeset
19 #ifndef MPLAYER_GUI_RENDER_H
520fb0f7544c Rename GUI directory 'mplayer' and some files in it.
ib
parents: 33548
diff changeset
20 #define MPLAYER_GUI_RENDER_H
25603
01754b23193e Rename common.[ch], there are too many files by that name.
diego
parents:
diff changeset
21
26365
10dfbc523184 Add gui/ prefix to some #include paths so that compilation from the
diego
parents: 26029
diff changeset
22 #include "gui/app.h"
25603
01754b23193e Rename common.[ch], there are too many files by that name.
diego
parents:
diff changeset
23
33548
55b8f5d5df15 Remove unused parameter 'Size' in wsConvert().
ib
parents: 33535
diff changeset
24 void RenderAll(wsTWindow *window, wItem *Items, int nrItems, char *db);
25603
01754b23193e Rename common.[ch], there are too many files by that name.
diego
parents:
diff changeset
25
33556
520fb0f7544c Rename GUI directory 'mplayer' and some files in it.
ib
parents: 33548
diff changeset
26 #endif /* MPLAYER_GUI_RENDER_H */