Mercurial > libervia-web

annotate browser_side/radiocol.py @ 129:dd0d39ae7d24

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
RadioCol: song preloading + fonctionnal players
author Goffi <goffi@goffi.org>
date Sun, 29 Jan 2012 00:15:04 +0100
parents 2849ec993d89
children 6576c5a90060
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
127
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
1 #!/usr/bin/python
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
2 # -*- coding: utf-8 -*-
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
3
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
4 """
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
5 Libervia: a Salut à Toi frontend
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
6 Copyright (C) 2011 Jérôme Poisson <goffi@goffi.org>
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
7
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
8 This program is free software: you can redistribute it and/or modify
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
9 it under the terms of the GNU Affero General Public License as published by
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
10 the Free Software Foundation, either version 3 of the License, or
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
11 (at your option) any later version.
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
12
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
13 This program is distributed in the hope that it will be useful,
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
16 GNU Affero General Public License for more details.
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
17
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
18 You should have received a copy of the GNU Affero General Public License
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
19 along with this program. If not, see <http://www.gnu.org/licenses/>.
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
20 """
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
21
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
22 import pyjd # this is dummy in pyjs
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
23 from pyjamas.ui.VerticalPanel import VerticalPanel
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
24 from pyjamas.ui.HorizontalPanel import HorizontalPanel
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
25 from pyjamas.ui.SimplePanel import SimplePanel
129
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
26 from pyjamas.ui.FlexTable import FlexTable
127
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
27 from pyjamas.ui.FormPanel import FormPanel
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
28 from pyjamas.ui.NamedFrame import NamedFrame
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
29 from pyjamas.ui.FileUpload import FileUpload
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
30 from pyjamas.ui.Label import Label
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
31 from pyjamas.ui.Button import Button
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
32 from pyjamas.ui.ClickListener import ClickHandler
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
33 from pyjamas.ui.MouseListener import MouseHandler
128
2849ec993d89 basic radio collective
Goffi <goffi@goffi.org>
parents: 127
diff changeset
34 from pyjamas.ui.Hidden import Hidden
2849ec993d89 basic radio collective
Goffi <goffi@goffi.org>
parents: 127
diff changeset
35 from pyjamas.ui.HTML import HTML
127
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
36 from pyjamas import Window
129
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
37 from pyjamas.Timer import Timer
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
38 from __pyjamas__ import JS
127
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
39
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
40 from jid import JID
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
41 from tools import html_sanitize
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
42
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
43
129
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
44 class MetadataPanel(FlexTable):
127
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
45
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
46 def __init__(self):
129
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
47 FlexTable.__init__(self)
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
48 title_lbl = Label("title:")
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
49 title_lbl.setStyleName('radiocol_metadata_lbl')
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
50 artist_lbl = Label("artist:")
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
51 artist_lbl.setStyleName('radiocol_metadata_lbl')
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
52 album_lbl = Label("album:")
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
53 album_lbl.setStyleName('radiocol_metadata_lbl')
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
54 self.title = Label("")
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
55 self.title.setStyleName('radiocol_metadata')
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
56 self.artist = Label("")
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
57 self.artist.setStyleName('radiocol_metadata')
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
58 self.album = Label("")
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
59 self.album.setStyleName('radiocol_metadata')
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
60 self.setWidget(0,0,title_lbl)
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
61 self.setWidget(1,0,artist_lbl)
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
62 self.setWidget(2,0,album_lbl)
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
63 self.setWidget(0,1,self.title)
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
64 self.setWidget(1,1,self.artist)
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
65 self.setWidget(2,1,self.album)
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
66 self.setStyleName("radiocol_metadata_pnl")
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
67
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
68 def setTitle(self, title):
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
69 self.title.setText(title)
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
70
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
71 def setArtist(self, artist):
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
72 self.artist.setText(artist)
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
73
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
74 def setAlbum(self, album):
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
75 self.album.setText(album)
127
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
76
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
77 class ControlPanel(FormPanel):
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
78 """Panel used to show controls to add a song, or vote for the current one"""
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
79
128
2849ec993d89 basic radio collective
Goffi <goffi@goffi.org>
parents: 127
diff changeset
80 def __init__(self, referee):
127
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
81 FormPanel.__init__(self)
129
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
82 self._timer = Timer(notify=self._timeCb)
127
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
83 self.setEncoding(FormPanel.ENCODING_MULTIPART)
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
84 self.setMethod(FormPanel.METHOD_POST)
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
85 self.setAction("upload") # set this as appropriate
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
86 vPanel = VerticalPanel()
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
87
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
88 hPanel = HorizontalPanel()
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
89 hPanel.setSpacing(5)
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
90 self.field = FileUpload()
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
91 self.field.setName("song")
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
92 hPanel.add(self.field)
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
93
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
94 hPanel.add(Button("Upload song", getattr(self, "onBtnClick")))
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
95
129
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
96 self.status = Label()
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
97
127
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
98 vPanel.add(hPanel)
128
2849ec993d89 basic radio collective
Goffi <goffi@goffi.org>
parents: 127
diff changeset
99
2849ec993d89 basic radio collective
Goffi <goffi@goffi.org>
parents: 127
diff changeset
100 #We need to know the referee
2849ec993d89 basic radio collective
Goffi <goffi@goffi.org>
parents: 127
diff changeset
101 referee_field = Hidden('referee', referee)
2849ec993d89 basic radio collective
Goffi <goffi@goffi.org>
parents: 127
diff changeset
102 vPanel.add(referee_field)
127
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
103
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
104 self.add(vPanel)
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
105 self.addFormHandler(self)
129
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
106
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
107 def _timeCb(self, timer):
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
108 self.status.setText('')
127
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
109
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
110 def onBtnClick(self):
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
111 self.submit()
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
112
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
113 def onSubmit(self, event):
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
114 pass
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
115
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
116 def onSubmitComplete(self, event):
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
117 result = event.getResults()
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
118 if result == "OK":
129
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
119 self.status.setText('Your song has been added to queue')
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
120 self.status.setStyleName('radiocol_upload_status_ok')
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
121 self._timer.schedule(5000)
127
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
122 elif result == "KO":
129
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
123 self.status.setText('Something went wrong during your song upload')
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
124 self.status.setStyleName('radiocol_upload_status_ko')
127
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
125 else:
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
126 Window.alert('Submit error: %s' % result)
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
127
129
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
128 class Player(HTML):
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
129
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
130 def __init__(self, player_id, metadata_panel):
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
131 HTML.__init__(self)
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
132 self._id = player_id
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
133 self.metadata = metadata_panel
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
134 self.title=""
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
135 self.artist=""
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
136 self.album=""
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
137 self.filename = None
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
138 self.played = False #True when song is playing/played, become False on preload
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
139
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
140 def preload(self, filename, title, artist, album):
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
141 """preload the song but doesn't play it"""
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
142 self.filename = filename
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
143 self.title = title
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
144 self.artist = artist
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
145 self.album = album
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
146 self.played = False
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
147 self.setHTML('<audio id="%s" style="display: none" preload="auto" src="radiocol/%s" />' % (self._id, html_sanitize(filename)))
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
148 print "preloading %s in %s" % (title, self._id)
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
149
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
150 def play(self):
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
151 """actually play the song"""
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
152 self.played = True
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
153 self.metadata.setTitle(self.title)
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
154 self.metadata.setArtist(self.artist)
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
155 self.metadata.setAlbum(self.album)
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
156
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
157 JS("""
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
158 var player = top.document.getElementById(this._id);
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
159 player.play();
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
160 """)
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
161
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
162
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
163
127
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
164 class RadioColPanel(HorizontalPanel, ClickHandler):
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
165
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
166 def __init__(self, parent, referee, player_nick):
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
167 HorizontalPanel.__init__(self)
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
168 ClickHandler.__init__(self)
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
169 self._parent = parent
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
170 self.referee = referee
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
171 self.setStyleName("radiocolPanel")
129
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
172 self.setHeight('30%')
127
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
173
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
174 # Now we set up the layout
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
175 self.left_panel = VerticalPanel()
129
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
176 self.left_panel.setStyleName("radiocol_left_panel")
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
177 self.left_panel.setHeight('100%')
127
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
178 self.add(self.left_panel)
128
2849ec993d89 basic radio collective
Goffi <goffi@goffi.org>
parents: 127
diff changeset
179 self.right_panel = VerticalPanel()
127
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
180 self.metadata_panel = MetadataPanel()
128
2849ec993d89 basic radio collective
Goffi <goffi@goffi.org>
parents: 127
diff changeset
181 self.right_panel.add(self.metadata_panel)
2849ec993d89 basic radio collective
Goffi <goffi@goffi.org>
parents: 127
diff changeset
182 self.control_panel = ControlPanel(self.referee)
2849ec993d89 basic radio collective
Goffi <goffi@goffi.org>
parents: 127
diff changeset
183 self.right_panel.add(self.control_panel)
127
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
184 self.add(self.right_panel)
128
2849ec993d89 basic radio collective
Goffi <goffi@goffi.org>
parents: 127
diff changeset
185 #self.right_panel.setBorderWidth(1)
129
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
186 self.next_song_1 = Label()
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
187 self.next_song_1.setStyleName("radiocol_next_song")
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
188 self.next_song_2 = Label()
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
189 self.next_song_2.setStyleName("radiocol_next_song")
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
190 self.left_panel.add(self.next_song_1)
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
191 self.left_panel.add(self.next_song_2)
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
192 self.players = [Player("player_%d" % i, self.metadata_panel) for i in range(4)]
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
193 self.current_player = None
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
194 for player in self.players:
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
195 self.right_panel.add(player)
127
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
196 self.addClickListener(self)
128
2849ec993d89 basic radio collective
Goffi <goffi@goffi.org>
parents: 127
diff changeset
197
2849ec993d89 basic radio collective
Goffi <goffi@goffi.org>
parents: 127
diff changeset
198 def radiocolPreload(self, filename, title, artist, album):
129
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
199 self.next_song_1.setText(self.next_song_2.getText())
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
200 self.next_song_2.setText(title)
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
201 preloaded = False
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
202 for player in self.players:
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
203 if not player.filename or \
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
204 (player.played and player != self.current_player):
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
205 #if player has no file loaded, or it has already played its song
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
206 #we use it to preload the next one
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
207 player.preload(filename, title, artist, album)
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
208 preloaded = True
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
209 break
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
210 if not preloaded:
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
211 print("WARNING: Can't preload song, we are getting too many songs to preload, we shouldn't have more than 2 at once")
127
e19a8de8b3de radio collective first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
212
129
dd0d39ae7d24 RadioCol: song preloading + fonctionnal players
Goffi <goffi@goffi.org>
parents: 128
diff changeset
213