Time  Nick       Message
02:13 LoneWolfHT If you're desperate and want a hack that won't work on servers that have been running for a while you could do a `for i = 0, 1000, 1 do minetest.sound_stop(i) end`
02:41 MTDiscord  <exe_virus> Wrote a function to do it, I'll make a PR and see if it gets merged. This came up during my development of game-specific menu music. Once I'm happy with it, I'll make that PR (maybe combine them, since one is dependent). Basically, now you can provide a <game_name>.ogg in the "game/menu" folder. So for devtest it would be "games/devtest/menu/devtest.ogg". the old main menu music method is still used outside the local tab, but
02:41 MTDiscord  otherwise, in the local tab you will hear either silence if the game doesn't provide a menu/game_name.ogg or the game's music (randomly selecting from a list of ten is still valid, if you wanted to provide 10 different tunes for a single game)
08:30 nerzhul    sfan5: just published a commit fixing your mentioned issues, and found other places where there are the same things about irr namespace :)
08:32 nerzhul    we should be fine for a merge this time :)
12:10 nerzhul    waiting for sfan5 benediction to cleanse more the code :D
12:19 silver_est my slideshow zoom is now working, no need for help anymore
12:19 silver_est sorry wrong channel
15:41 sfan5      nerzhul: looks okay
15:53 nerzhul    cool, merging in 5 mins then :)
17:49 nerzhul    merged, was blocked in a black hole timelapse
19:25 Krock      this little maneuver is gonna cost us several years
20:06 nerzhul    haha